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).
(+91-80) 41120422 (Home). Email: deepakd at iisc dot ac dot in

Residence:
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.

Publications:

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.

Events:

IARCS Verification Seminar Series (Monthly series of online talks started in Aug 2021).

Programme Committees:

CAV 2024.
Past: ICLA 2023, VMCAI 2023, ICTAC 2022, FSTTCS 2022, CAV 2022, ATVA 2018, NETYS 2018, ATVA 2017, Pune, India (PC Co-Chair), VMCAI 2017, PC member, CAV 2016, External Review Committee, SETTA 2016, VSTTE 2016, ATVA 2016, VLSI Design Conference 2015, VMCAI 2015 (PC co-chair), ATVA 2014, FSTTCS 2013, ATVA 2013, FSTTCS 2013, FSTTCS 2012, ATVA 2012, FORMATS 2011, ADCOM 2009, FSTTCS 2009, ICTAC 2009, FSTTCS 2008, FORMATS 2008, MCDES 2008, FSTTCS 2007, Requirements Engineering 2007, APSEC 2006, FSTTCS 2006, FORMATS 2006.

Professional Activities:

President, Indian Association for Research in Computing (IARCS) (2018-23).

Courses:

Current Semester (Jan 2024):

Automata Theory and Computability.
Formal Methods in Software Engineering, jointly with K. V. Raghavan.

Recent past courses:

Program Analysis and Verification, with K V Raghavan.
Mathematical Logic and Theorem Proving, jointly with Kamal Lodaya.
Program Analysis and Verification, with K V Raghavan.
Formal Methods in Software Engineering, jointly with K. V. Raghavan.
Automata Theory and Computability.
Program Analysis and Verification, with K V Raghavan.
Topics in Program Analysis.
Mathematical Logic and Theorem Proving, jointly with Kamal Lodaya.
Formal Methods in Software Engineering, jointly with K. V. Raghavan.
Program Synthesis Meets Machine Learning, jointly with Chiranjib Bhattacharya and Sriram Rajamani (MSR).
Automata Theory and Computability (Aug--Dec 2019).
Program Analysis and Verification (Aug--Dec 2019) jointly with K. V. Raghavan.
Automata Theory and Computability (Aug--Dec 2018) jointly with Viraj Kumar.
Program Analysis and Verification (Aug--Dec 2018) jointly with K. V. Raghavan.
Formal Methods in Software Engineering, jointly with K. V. Raghavan.
Program Analysis and Verification (Aug--Dec 2017) jointly with K. V. Raghavan.
Algorithms and Programming (Aug--Dec 2017). Jointly with Minati De.
Topics in Program Analysis jointly with K. V. Raghavan (2016).

Projects

Past

Verification of Autonomous Systems, Siemens, Bangalore.
Verification of Simulink Models (Sponsored by Indo-UK Newton-Bhabha)
Verification of a secure kernel (DRDO) (2014-18).
Verified FreeRTOS for multicore (Sponsored by Robert Bosch Center for CPS, IISc).
FreeRTOS Verification Project (Sponsored by UKIERI (2009-12) and Robert Bosch Center IISc (2012-)
Service Mining (Sponsored by Infosys).

Research Students

Stanly Samuel (PhD) (Jointly with K V Raghavan)
P. Habeeb (PhD)
Alvin George (PhD)
Abhishek Uppar (PhD)

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), Nikita Chopra (MS), Inzemamul Haq (PhD), P Ezudheen (PhD), Ravi Raja (MTech) (Jointly with Chiranjib Bhattacharyya), Sumanth Prabhu (PhD).