Marc Pouzet

Professor at Université Pierre et Marie Curie in the Computer Science department (DIENS) of École normale supérieure. Director of CS studies.
Junior member at Institut Universitaire de France (Sept. 2007 – Sept. 2012). Leader of the project-team PARKAS from INRIA Paris-Rocquencourt.

Address: Département d’informatique, École normale supérieure, 45 rue d’Ulm, 75 230 Paris cedex 05.
Office: S14, DI, Aile Rataud, passage saumon.
Phone: (+33) (0) 1 44 32 21 66
Fax: (+33) (0) 1 44 32 20 75
Public key


My research is about the design, semantics and implementation of programming languages with strong safety properties for implementing critical control software (e.g., fly-by-wire in civil planes). I have particular interest for synchronous languages, their extensions and embedding into general-purpose functional languages. With Paul Caspi and Grégoire Hamon, I developed the language Lucid Synchrone, an extension a la ML of Lustre. Several features and compilation techniques have been integrated to SCADE 6 at Esterel-Technologies. In collaboration with INRIA (Alchemy) and NXP, I worked on the N-synchronous model to program real-time video systems (e.g., TV boxes). Currently, my research is about the semantics and implementation of hybrid systems modelers (e.g., Simulink, Modelica), the design and implementation of Zélus, a synchronous language that mixes discrete and continuous time, and the formal certification of a Lustre compiler with Coq. See publications and talks.

Keywords: Real-time Embedded Systems; Kahn Process Networks; Synchronous and Functional Programming; Type Systems, Semantics, Compilation

In Nov. 2016, I received the Inria – French Académie des sciences – Dassault Systèmes Innovation Award.

Recent Projects and Program committee


PhD students

Cours (en français)

This document was translated from LATEX by HEVEA.