Blaise Genest personal page

Blaise Genest personal page

Blaise Genest personal page Blaise Genest Position 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...