Blaise Genest personal page

• Senior CNRS Researcher (DR2)

• Research topics with IPAL

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. 

Stochastic Models: Markov Chains, MDPs, DBNs, Rabin’s Probabilistic Automata, Populations.

Applications: Multi-level systems, Security, Systems Biology.

Background: Automata and Verification, Distributed Systems, Games Theory.

• Collaborators at IPAL

Kuldeep Meel, Reza Shokri, Jin Song Dong, Hwee Kuan Lee, Nicholas Asher

• Supervisions at IPAL

• Link to webpage

You can know more about me here: https://perso.crans.org/genest/