Deepak D'Souza

Contact:

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

Publications:

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.

Events:

• IMPECS Workshop on Program Analysis, September 17-20, 2012, CSA Dept, Indian Institute of Science, Bangalore, India.
• ICTAC 2012, Bangalore (Organising Committee).
• FSTTCS 2012, Hyderabad (PC Co-Chair).

• Refinement Based Development of Software Systems using Event-B, 15, 16 July. 2011, CSA Dept, Indian Institute of Science, Bangalore, India.
• School on Software Engineering, ICTAC 2011, Johannesburg.

Programme Committees:

• FSTTCS 2012 (co-chair)
• Past: ATVA 2012, FORMATS 2011, 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.

Professional Activities:

• Secretary, Indian Association for Research in Computing (IARCS).

Courses:

• Current Semester:
  Automata Theory and Computability (Aug--Dec 2012).
  • Program Analysis and Verification (Aug--Dec 2012) jointly with K. V. Raghavan.
• Past:
  • Formal Methods in Software Engineering jointly with K. V. Raghavan and Prahlad Sampath.
  • Automata Theory and Computability (Aug--Dec 2011).
  • Program Analysis and Verification (Aug--Dec 2011) jointly with K. V. Raghavan.
  • Formal Methods in Software Engineering jointly with K. V. Raghavan and Prahlad Sampath.
  • Automata Theory and Computability (Aug--Dec 2010) jointly with Priti Shankar.
  • Program Analysis and Verification (Aug--Dec 2010) jointly with K. V. Raghavan.
  • 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

• Service Mining (Sponsored by Infosys).
• Verified Software Initiative: Embedded Systems (Sponsored by UKIERI).

Students

• Raj Mohan M. (PhD)
• Arnab De (PhD)
• K. R. Raghavendra (PhD)
• Sumesh Divakaran (PhD)
• Suvam Mukherjee (PhD)
• Sampath Jayaram (MS)
• Rony Thomas (ME)
• Anirudh Kushwah (ME)

Former students

Resume