R Govind
Theoretical Computer Science
2254 3100
govind @ imsc . res . in
NB 321
Research Interests:
- Formal Methods
- Automata Theory and Logic
- Program Verification
- Automated Synthesis
Career History:
- Postdoctoral Researcher, Algorithmic Verification group at the Department of Information Technology at Uppsala University. Nov 2023 - Nov 2025
- Post-doctoral Research Fellow, IIT Bombay. Oct 2021 - Nov 2023
- Ph.D in Computer Science, Join degree from LaBRI, Université de Bordeaux and Chennai Mathematical Institute (CMI). Nov 2017 - Jul 2021