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.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.