Komondoor V. Raghavan

Department of Computer Science and Automation
Indian Institute of Science, Bangalore

Welcome to my home page. I am an Associate Professor in the Department of Computer Science and Automation at Indian Institute of Science, Bangalore.

My research interests are broadly in the areas of programming languages, program analysis, and software engineering. I am particularly interested in developing automated tools that help programmers understand, verify and transform programs quickly and reliably.

Some personal links.

Events

I am a PC co-chair for Int. Symposium on Automated Technology for Verification and Analysis (ATVA), 2025, to be in held in Bangalore, India, Oct. 28-30 2025.

Open positions

We have a requirement for a Project Assistant or Associate, as well as a Post Doc researcher. Please visit this page for more details.