+91 80 2293 3142
CSA, 238
Personal Website

Deepak D’Souza



Deepak D’Souza received his PhD from Chennai Mathematical Institute in 2000. Since 2003 he has been at the Department of Computer Science and Automation of the Indian Institute of Science, Bangalore, where he is currently a Professor. His areas of interest include program verification, program analysis, and specification and analysis of real-time and hybrid systems.


Program Analysis, Formal Verification.

Scroll Up