Email: matteo.mio@ens-lyon.fr
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:

2015 
  • PC-member of the LPAR 2015 conference (website).
  • PC Chair (together with Ralph Matthes) of the FICS 2015 Workshop (website).
  • PC-member of the FoSSaCS 2016 conference (website).
  • PC-member of the ICTAC 2015 conference (website).
  • Invited speaker at the CALCO 2015 conference (website).
2014
  • 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)