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.

20181127-tedx-yappriou-043_46148715331_o

TEDxSaclay 2018 DATA’BANG

Retour du TEDxSaclay édition 2018 du 27 novembre, un évènement unique, tant sur scène qu'autour de son village innovation. TEDx TED acronyme de Technology-Entertainment-Design est une...