- PG Admissions 2023 Announced
- | Ph.D. Admissions 2023 Announced
- | Admission Helpline - Voice call: 080 66 91 91 80
- M.Tech. (EC) - last date 28th April 2022
- Admission Helpline - Voice call: 080 66 91 91 80
- UG Admissions - All India Category - Admission Status Announced
Manoj Raut
Manoj Raut
PhD (Mathematics), IIT Madras
Contact Details
079-68261585
# 4112, FB-4, DA-IICT, Gandhinagar, Gujarat, India – 382007
manoj_raut@daiict.ac.in
Specialization
Mathematical Logic
Publications
- Manoj K. Raut, and Manish K. Gupta, On Octonary Codes and their Covering Radii, Australasian Journal of Combinatorics, Vol 63(2), pp 246-261, 2015.https://ajc.maths.uq.edu.au/pdf/63/ajc_v63_p246.pdf
- Manoj K. Raut, An Incremental Algorithm for Computing Prime Implicates in Modal Logic, In Proceedings of Theory and Applications of Models of Computation (TAMC) 2014, LNCS 8402, pp 188-202, 2014.https://link.springer.com/chapter/10.1007/978-3-319-06089-7_13
- Manoj K. Raut, and Arindama Singh, Computing Prime Implicants of First Order formulas via Transversal Clauses, International Journal of Computer Mathematics, Vol. 81, No. 2, 157-167, Feb. 2004.https://doi.org/10.1080/00207160310001650071
Teaching
- Logic in Computer Science
- Discrete Mathematics
- Coding Theory