blaise

Primary tabs

blaise's picture
Blaise GENEST
Research Fellow

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.

Topics of interest: 

"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. 

Project(s): 

STOCH-MC
(Primary Inverstigator) 
ANR-13-BS02-0011-01.

Associated Team EQUAVE
Funded by CEFIPRA/INRIA

Past: Projet AABS
PEPS INSIS - Funded by CNRS.

Login