Associate Professor
Bio
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
Expertise
Software analysis and verification, programming languages, formal methods