Blaise Genest personal page

by | Mar 3, 2021 | Staff

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