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. Comme chef de laboratoire il est responsable d’un groupe de 40 chercheurs effectuant des travaux de à la pointe de l’état de l’art dans les domaines des techniques d’analyse de code et de la vérification de logiciels ; ainsi que de ses activités de divulgation et de communication. Il est un membre actif de divers groupes de travail sur les logiciels de haute confiance chez Systemic, Allistene, GdR, NIS et ESCO.