About
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.
0Publications listed
Find K. V. Raghavan elsewhere
Related Searches
You Might Also Like
Raghavan KomondoorMax Planck Institute for Security and Privacy · Associate Professor
Maria João FradeUniversity of Minho · Assistant Professor- AAleksandar NanevskiIMDEA Software Institute · Research Professor
- MMohammed Nassim SeghirAlbert Ludwig University of Freiburg · Researcher
- VV. RaghavanDelft University of Technology · Researcher
Deepak D'SouzaMax Planck Institute for Security and Privacy · Professor