Florent Kirchner

Florent Kirchner leads the Systems and Software Engineering Division as well as the Cybersecurity Program at CEA LIST. As a senior expert scientist, he has developed and applied several approaches to high-confidence software verification, as part of both academic explorations and industrial projects. He was active in launching and heading collaborative efforts with a wide variety of international partners, including collaborations with Airbus, Bureau Veritas, Thales, NASA and NIST. As a Head of Division he is responsible for a group of 150 scientists working on the research and development of next-generation engineering methods and tools, and the associated dissemination and communication activities. He is an active member of several working groups on High-Confidence Software and Systems at Allistene, Campus Cyber and OECD. Since 2019 he has been a member of the ECSO Board of Directors, and the strategic director of SPARTA, the cybersecurity competence network pilot.