Deepak D'Souza

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.


Chennai Mathematical Institute,
92 G. N. Chetty Road,
Chennai 600 017, India.
Phone: +91-044-8284232, 8284251.




B-4 Visranthi Apartments,
66 Burkit Road,
T. Nagar,
Chennai 600 017, India.
Phone: 4357597