raghavan@iisc.ac.in
+91 80 2293 2772
CSA, 232
Personal Website

Komandur V Raghavan

Associate Professor

Biodata

Komondoor V. Raghavan is an associate professor at Indian Institute of Science, Bangalore. He obtained his B.Tech degree from Government College of Technology, Coimbatore, M.Tech degree from IIT Bombay, and PhD from  University of Wisconsin-Madison. He worked as a researcher with IBM  Research Lab prior to joining the Indian Institute of Science.

https://www.csa.iisc.ac.in/~raghavan

Research Overview

Software analysis and verification, programming languages, formal methods


Scroll Up