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
Short CV: last update 01/05/2015
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.