K. V. Raghavan

K. V. Raghavan is an Associate Professor at the Department of Computer Science and Automation in Indian Institute of Science, Bangalore. His research focuses on programming languages, program analysis, and software engineering, with an emphasis on automated tools for program verification and transformation.

• Teaching: Courses include Program Analysis and Verification (Aug-Dec 2024) and Principles of Distributed Software (Jan-Apr 2025), covering topics like abstract interpretation, dataflow analysis, lambda calculus, Hoare logic, Docker, and Kubernetes.
• Service: Served as PC co-chair for the Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2025).
• Research: Active opportunities for Project Assistant/Associate and Post Doc positions in his group.