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).
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.



Programme Committees:

Professional Activities:


Current Semester:

  • Automata Theory and Computability (Aug--Dec 2019).
  • Program Analysis and Verification (Aug--Dec 2019) jointly with K. V. Raghavan.

    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).