Deepak D'Souza's home page

Deepak D'Souza



Room No. 238,
Dept of Computer Science and Automation
Phone: 22932368, 22932386, (Extn. 238), 22933142 (direct).
(+91-80) 41120422 (Home). Email: deepakd at iisc dot ac dot in

22/10 Vittal Mallya Road,
Bangalore 560 001.
Phone: (+91-80) 22219759, 41120422.

Research Areas:

Program verification, static analysis, model-checking, models and logics for real-time systems.


Chronologically, and by subject (a bit out-dated).

Here is a link to a recently published book Modern Applications of Automata Theory (published by World Scientific Publishing), edited by Priti Shankar and myself. Photograph

The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be a useful reference for both software practitioners and theoreticians working in this area.


Current: Past:

Programme Committees:

Professional Activities:


Current Semester (Jan 2022):

Recent past courses:



Research Students

Former students

Deepak Bhardwaj (MS), Pavithra Prabhakar (MS), Subhasree M. (ME), Raveendra Holla (ME), Deepak Vankadaru (ME), Rakesh Kumar (ME), Deepak Lukose (ME), Joy Chakraborty (MS), Sumesh Diwakaran (ME), Satadru Pan (ME), Madhu Gopinathan (PhD), Hari Shankar Gupta (ME), Anirudh Kushwah (ME), Raj Mohan M. (PhD), Remish Minz (ME), Aastha Garg (ME), Arnab De (PhD), Sampath Jayaram (MS), K. R. Raghavendra (PhD), Sumesh Divakaran (PhD), Suvam Mukherjee (PhD), Nikita Chopra (MS), Inzemamul Haq (PhD).