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.

Individu