Home page of Manoj Raut
Manoj K. Raut
Room 4112, Faculty Block 4
Gandhinagar, Gujarat - 382007
MSc(Mathematics), Sambalpur University, 1998
PhD, IIT Madras, Chennai, 2004
Postdoctoral Research, TIFR Mumbai, 2005
Modal logic, Proof theory, Model Theory
SC 106: Introduction to Discrete Mathematics
IT 325: Introduction to Cryptography
IT 422: Theory of Computation
IT 423: Compiler Design
IT 424: Logic for Computer Science
IT 543: Advanced Logic for Computer Science
IT 611: Discrete Mathematics
IT 623: Data Structure and Algorithms
IT 680: Coding Theory by Example
Manoj K. Raut, Computing Prime Implicates in Modal Logic by Direct Resolution, 2017(Submitted to Journal).
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.
Manoj K. Raut, and Arindama Singh, A survey on Computing Prime implicants and Implicates
in Classical and Non-classical Logics, International Journal of Computer Systems Science
and Engineering, 2, pp 1-11, 2014.
Manoj K. Raut, An Incremental Knowledge Compilation in First Order Logic, International Journal on
Information Processing, Vol 2, No.1, 2008,
Arindama Singh, and Manoj K. Raut, An Algorithm for Computing Theory Prime Implicates in First Order Logic,
International Journal on Information and Communication Technology, Vol 1, No
Manoj K. Raut, and Arindama Singh, Prime Implicates of First Order Formulas, International Journal of Computer
Science and Applications, Vol. 1, No. 1, pp.1-11, 2004.
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.
Arindama Singh, and Manoj K. Raut, Adequacy of Calculational Logic, Journal of Orissa Mathematical Society.,
Vol. 21-22, PP 53-68, 2002-2003.
Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal, Computing Theory Prime Implicates in Modal Logic,
In proceedings of the 17th International Conference on Intelligent
Systems Design and Applications(ISDA),pp 273-282, Dec 14-16, 2017 .
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.
Arindama Singh, and Manoj K. Raut An Algorithm for Computing Theory Prime Implicates in First Order Logic,
International Conference on Information Technology(ICIT), Dec. 2005.
The Paper titled An Algorithm for Computing Theory Prime Implicates in First Order
Logic (with A. Singh) was awarded as the best paper in International Conference on
Information Technology, Bhubaneswar Dec. 2005.
Research Projects Completed (2015-2017)
Project Title: Knowledge Compilation in Modal and Multimodal Logic,
Funding Agency: National Board for Higher Mathematics, DAE, Mumbai, India