Deepak D'Souza

Deepak D'Souza is a Professor in the Department of Computer Science and Automation at the Indian Institute of Science (IISc) Bangalore. He has been actively involved in research and teaching in theoretical computer science, particularly focusing on program verification, static analysis, and formal methods. His work bridges theoretical foundations with practical applications in software engineering and verification.

His research interests span program verification, static analysis, model-checking, and models and logics for real-time systems. D'Souza has made significant contributions to automata theory, particularly in its applications to verification problems. He co-edited the book 'Modern Applications of Automata Theory' published by World Scientific, which focuses on verification and model checking technologies. His recent work shows a strong emphasis on logical LTL games, controller synthesis, and verification of embedded systems.

Analysis of his publications reveals a consistent focus on verification techniques across different domains - from theoretical foundations in automata theory to practical applications in embedded systems like FreeRTOS. His work demonstrates a progression from foundational theoretical work to increasingly applied verification problems, while maintaining strong theoretical rigor. Recent publications show growing interest in synthesis techniques and applications of formal methods to real-world systems.

D'Souza has mentored numerous PhD, MS, and ME students, with a current focus on verification problems. His research has been supported by significant grants from Siemens, DRDO, Robert Bosch Center for CPS, UKIERI, and Infosys, demonstrating both academic and industrial relevance of his work.

He is actively engaged in the academic community, serving as General Chair for ATVA 2025, Program Committee member for numerous conferences, and previously as President of the Indian Association for Research in Computing (IARCS) from 2018-2023. He also chairs the Steering Committee for FSTTCS (2025-2027).

D'Souza teaches advanced courses including Automata Theory and Computability, Formal Methods in Software Engineering, and Program Synthesis meets Machine Learning, demonstrating his commitment to educating the next generation of researchers in formal methods and verification.