Home page of Manoj Raut

Manoj Raut photo

Manoj K. Raut

Assistant Professor
Room 4112, Faculty Block 4
DA-IICT
Gandhinagar, Gujarat - 382007
India
Telephone: +91-79-3051-0585
Email: manoj_raut@daiict.ac.in

  • My CV

    Education

  • MSc, Sambalpur University, 1998
  • PhD, IIT Madras, Chennai, 2004
  • Postdoctoral Research, TIFR Mumbai, 2005

    Research Areas

    Application of logic in computer science

    Courses Taught

    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

    Journal Publications

  • Manoj K. Raut, Computing Prime Implicates in Modal Logic by Direct Resolution, 2017(Submitted to Journal).
  • Manoj K. Raut, Computing Theory Prime Implicates in Modal Logic, 2016 (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 1, 2007.
  • Manoj K. Raut, and Arindama Singh, Prime Implicates of First Order Formulas, International Journal of Com- puter 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. 2004.
  • Arindama Singh, and Manoj K. Raut, Adequacy of Calculational Logic, Journal of Orissa Mathematical Society., Vol. 21-22, PP 53-68, 2002-2003.
  • Conferences Papers

  • 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, Dec. 2005.
  • Best Paper

  • 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 Undergoing (2015-2017)

  • Project Title: Knowledge Compilation in Modal and Multimodal Logic,
  • Funding Agency: National Board of Higher Mathematics, DAE, Mumbai, India
  • PI: Manoj Kumar Raut
  • CoPI: Rahul Muthu
  • Total Grant: Rs 6,84,200/-