Deepak D'Souza's home page

Deepak D'Souza

Photograph

Contact:

Room No. 238,
Dept of Computer Science and Automation
Phone: 22932368, 22932386, (Extn. 238), 22933142 (direct).
Email: deepakd at csa dot iisc dot ernet dot in

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

Publications:

Chronologically and by subject.

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.

Events:

Programme Committees:

Professional Activities:

Courses:

Current Semester:

Past:

Projects

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

Resume