Affiliation: Chargé de recherche CNRS, École Normale Supérieure de Lyon
Address: Laboratoire de l'Informatique du Parallélisme (LIP-ENS), 46 Allée d'Italie, Lyon 69364, France
Research interests: formal verification of probabilistic programs modeled as Markov chains or Markov Decision Processes; modal and fixed-point logics ($\mu$-calculus); fuzzy logics; monadic second-order logic; automata theory and regular languages; two player stochastic games; proof systems for verification.
☞ Webpage of M2 course CR05 “Monadic Second Order Logic, Automata, Expressivity and Decidability” is online (link).
☞ 17/09/2016: New topics for a Master (M2) internship at ENS-Lyon with me for the year 2017.