Address: Laboratoire de l'Informatique du Parallélisme (LIP-ENS), 46 Allée d'Italie, Lyon 69364, France
Affiliation: CNRS, École Normale Supérieure de Lyon

Research: I'm interested in the general problem of formal verification of systems of concurrently interacting probabilistic programs. My research has focused on fixed-point logics, on the design of proof-systems for human-aided verification, on two-player stochastic games and on theory of regular languages of infinite trees. 

Recent Events:

  • PC-member of the CMCS 2016 Workshop
  • PC-member of the FoSSaCS 2016 conference (website).
  • PC-member of the LPAR 2015 conference (website).
  • PC Chair (together with Ralph Matthes) of the FICS 2015 Workshop (website).
  • PC-member of the ICTAC 2015 conference (website).
  • Invited speaker at the CALCO 2015 conference (website).
  • Recipient of the "Kurt Gödel Research Prize Fellowship" awarded by the Kurt Gödel Society with support from the John Templeton Foundation.
  • Selected participant of the "Heidelberg Laureate Forum 2014". (website)