I am interested in the verification of probabilistic and timed systems. My areas of research are broadly in automata, logics and games.

Teaching for Autumn 2016 : CS 738 Concepts, Algorithms and Tools in Model Checking.