This program studies the foundations of machine learning models and their properties, as well as the interactions between data-driven and analytical models in, for example, the efficient simulation of complex physical processes..
Topics include robustness, optimization, verification of performance guarantees, proposing a hybrid AI approach for accelerating the simulation of physical models, and designing and validating certifiable architectures of critical autonomous systems (e.g. in aeronautics and automotive sectors).
In particular, these research subjects are dealt with in part within the framework of the collaborative research project. DEEL The DEEL (DEpendable Explainable Learning) is a collaborative research project of ANITI that aims to develop technological building blocks toward dependable, robust, explainable and certifiable AI critical systems. IVADO DEEL is in collaboration with partners from IVADO (The Institute for Data Valorization) CRIAQ (Consortium for Research and Innovation in Aerospace in Quebec) in Canada.
the themes associated with the Certifiable AI program :
- Certifiable AI — Safe design and embeddability
- Fair Learning
- Certifiable AI
- AI & physical models
- Optimization & games theory for AI
- Automated reasoning and decision making