Welcome to my homepage. I am a Fellow at CMI.
My educational background: I did my Bachelors in Mathematics from St. Stephen's College, Delhi (1991), and my Masters in Computer Applications from University of Pune (1994). I received my Ph.D. (Thesis entitled "A Logical Study of Distributed Timed Automata") from BITS, Pilani, in September 2000. My thesis advisor was Prof. P. S. Thiagarajan.
I am interested in verification in general, and in particular, verification of real-time systems.
Here is a link to some of my
Papers and Reports.
OfficeChennai Mathematical Institute,92 G. N. Chetty Road, Chennai 600 017, India. Phone: +91-044-8284232, 8284251. Email: deepak@smi.ernet.in. |
ResidenceB-4 Visranthi Apartments,66 Burkit Road, T. Nagar, Chennai 600 017, India. Phone: 4357597 |