Profile Pic


My areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.


AVeRTS (Algorithmic Verification of Real Time Systems) just got over.


This semester, I am offering CS 101 at IIT Dharwad.