IPAL Research Fellow from 2010 to 2012, Active collaborator since 2012
CNRS Research Director
My research focus lies at the interface of Formal Methods and Artificial Intelligence (AI): I analyze AI tools using formal methods to develop trusted AI, and vice-versa, I develop formal techniques that uses AI tools to efficiently handle large systems.
I am a specialist of stochastic models: Markov Chains, Markov Decision Processes, Dynamic Bayesian Networks, Rabin's Probabilistic Automata, and also Populations Models.
"Towards Trusted AI": Developping Formal Methods with and for AI.
Stochastic Models: Markov Chains, HMMs, DBNs, MDPs, Rabin's Probabilistic Automata, Populations.
Applications: Security, Systems Biology, Multi-level systems.
Background: Automata and Verification, Distributed Systems, Games Theory.