Deepak D'Souza

Contact:

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

Publications:

Programme Committees:

• Past: ADCOM 2009, FSTTCS 2009, ICTAC 2009, FSTTCS 2008, FORMATS 2008, MCDES 2008, FSTTCS 2007, Requirements Engineering 2007, APSEC 2006, Bangalore, FSTTCS 2006, Kolkata, FORMATS 2006, Paris.

Courses:

• Current Semester:
  • Program Analysis and Verification (Jan--April 2010) jointly with K. V. Raghavan.
• Past:
  • Automata Theory and Computability (Aug--Dec 2009).
  • Program Analysis and Verification (Jan--April 2009) jointly with K. V. Raghavan.
  • Automata Theory and Computability (Aug--Dec 2008).
  • Program Analysis and Verification (Aug--Dec 2008) jointly with Aditya Nori and Sriram Rajamani.
  • Automata Theory and Computability (Aug--Dec 2007) jointly with Priti Shankar.
  • Program Analysis and Verification (Aug--Dec 2007) jointly with Aditya Nori and Sriram Rajamani.
  • Verification (Jan--April 2008)
  • Verification (Jan--April 2007)
  • Formal Methods in Computer Science (Aug--Dec 2006)
  • Verification (Jan--April 2006)
    (includes material for Sriram Rajamani's talks on Software Verification).
  • Formal Methods in Computer Science (Aug--Dec 2005)
  • Verification (Jan--April 2005)
  • Mathematical Logic and Theorem Proving (Aug--Dec 2004)
  • Verification (Jan--April 2004)
  • Formal Methods in Computer Science (Aug--Dec 2003)
    
  • Verification (Jan--April 2003)

Projects

• Application of Formal Methods to Product Line Engineering of Embedded Hybrid Systems, for General Motors.

Students

• Madhu Gopinathan (PhD)
• Raj Mohan M. (PhD)
• Arnab De (PhD)
• K. R. Raghavendra (PhD)
• Hari Shankar Gupta (ME)

Former students

Resume