M. Praveen

Chennai Mathematical Institute
H1, SIPCOT IT Park, Siruseri
Kelambakkam 603103
India

Research Interests : Computational complexity of modelling and verifying concurrent infinite state systems, logic and parameterized complexity.

CV : CV_Praveen.pdf

Office : Room 407

Phone : +91 44 7196 1066

Fax : +91 44 2747 0225

E-mail : Figure out from the url of this page