[Automatic translation by Google]
Please provide your feedback about the website at feedback@apc.iisc.ernet.in
Professor
Bio
Deepak D’Souza is Professor and the current Chair of the Department of Computer Science and Automation. He received his PhD from the Chennai Mathematical Institute in 2000 and has been at the CSA department in IISc since 2003.
Expertise
His areas of interest include program verification, program analysis, and specification and analysis of real-time and hybrid systems. His group’s work spans across verification techniques like model-checking, deductive verification, and static analysis, for reasoning about various properties like functional correctness, scene safety, and data-race freedom, for a variety of system models ranging from real-time operating systems and separation kernels to Android-style event-driven programs.
