Marc Pouzet

Papers

Total Citations

H-Index

About

Marc Pouzet is a leading figure in the design and implementation of synchronous programming languages, with a core focus on real-time embedded systems, hybrid systems modeling, and the formal verification of cyber-physical systems. His foundational work on the Lustre language and its successor, Scade, has been instrumental in enabling the safe and efficient development of critical control software, particularly in the aerospace and automotive industries. Pouzet’s major contributions include pioneering the use of synchronous data-flow languages for multi-mode systems, where he developed rigorous mathematical frameworks to handle mode changes and continuous-time dynamics. His 2019 paper, "Multi-Mode DAE Models - Challenges, Theory and Implementation," with 21 citations, exemplifies his work on bridging discrete control with continuous physical models, addressing key challenges in hybrid system simulation. Beyond his research, Pouzet has profoundly influenced the field through his leadership of the Parkas project team at Inria and his role in shaping the open-source Zélus language, which integrates discrete and continuous-time modeling. His work has earned him widespread recognition, including the prestigious CNRS Silver Medal, and his contributions continue to guide the next generation of safe, autonomous systems.