Le portail de l'intelligence artificielle et des startups IA

Recherche, écosystème, éthique de l'intelligence artificielle et évolution de la société

Florent Kirchner

Florent Kirchner

Florent Kirchner dirige le Laboratoire pour la sureté et la sécurité du logiciel ainsi que le programme cybersécurité au CEA LIST. En tant qu’expert senior, il y a développé et mis en place différentes approches de vérification de logiciels à très haute confiance, à la fois dans des cadres académiques et industriels. Il a initié et piloté des collaborations avec divers partenaires internationaux comme Airbus, Bureau Veritas, NASA et SRI international.

Articles citant les travaux de Florent Kirchner dans le domaine de l'intelligence artificielle.