Deepak D'Souza's home page
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
22/10 Vittal Mallya Road,
Bangalore 560 001.
Phone: (+91-80) 22219759, 41120422.
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.
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.
- VMCAI 2015.
- ATVA 2014
- Past: FSTTCS 2013,
ADCOM 2009, FSTTCS 2009, ICTAC
2009, FSTTCS 2008, FORMATS 2008, MCDES 2008,
FSTTCS 2007, Requirements Engineering
- Sumesh Divakaran (PhD)
- Suvam Mukherjee (PhD)
- Inzemamul Haq (PhD)
- Sabuj Kumar Jena (MS)
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).