معرفی
Marc Pouzet is a Professor at École Normale Supérieure (ENS) in the Department of Computer Science (DIENS), where he serves as Director of CS studies. He leads the INRIA project-team PARKAS and was a Junior Member of the Institut Universitaire de France (2007–2012). His research centers on synchronous programming languages for safety-critical embedded systems, with contributions to real-time software verification, hybrid systems modeling, and probabilistic reactive programming.
Research Focus
Pouzet's work bridges theory and practice in:
- Synchronous Languages: Design/extensions of Lustre, Lucid Synchrone, and Zelus for embedded control
- Formal Methods: Mechanized semantics (Coq) and verified compilers (Vélus) for correctness guarantees
- Hybrid Systems: Integrating ODEs with discrete logic (ProbZelus for probabilistic inference)
- Real-time Systems: Scheduling, latency constraints, and memory-safe compilation
Awards & Leadership
- Inria–Académie des sciences Innovation Award (2016)
- Program committees: EMSOFT, PLDI, POPL, ECRTS
- Associate Editor: EURASIP Journal on Embedded Systems
Advising & Projects
Supervised 19+ PhD students on topics spanning compiler verification (Bourke, Pesin), probabilistic languages (Baudart), and hybrid systems (Pauget). Leads development of open-source tools:
- Zelus (synchronous language with ODEs)
- Vélus (verified Lustre compiler)
- ReactiveML (reactive extension of OCaml)
۰مقاله منتشرشده
