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, both as part of academic 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 110 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 Systematic, Allistene, GdR, NIS, and ECSO. Since 2019 he has been the strategic director of SPARTA.