Profile Pic

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

This semester, I am offering an undergraduate core course Logic for Computer Science.

Along with Ashutosh Trivedi, I am organizing a satellite workshop AVeRTS (Algorithmic Verification of Real Time Systems) as part of ICALP 2017. Previous editions of AVeRTs can be found here and here.