Profile Pic


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