Home page of Manoj Raut

## 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 Completed (2015-2017)

Project Title: Knowledge Compilation in Modal and Multimodal Logic,
Funding Agency: National Board for Higher Mathematics, DAE, Mumbai, India
PI: Manoj Kumar Raut
CoPI: Rahul Muthu