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
Mail: Marc dot Pouzet at ens dot fr
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. Together with Paul Caspi and Grégoire Hamon, I developed the language Lucid Synchrone, an extension a la ML of Lustre. Several novel features and compilation techniques are 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 main research topic 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

Recent Projects and Program committee


PhD students

Cours (en français)

This document was translated from LATEX by HEVEA.