Marc Pouzet

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

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:  
Public key

Research

My research is about the design, semantics and implementation of languages to model and implement critical control software (e.g., fly-by-wire, engine control, interlocking) with a compiler that ensure strong safety properties (e.g., determinacy, execution in bounded time and space). 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 language features and compilation techniques have been integrated to the language Scade 6 developed by ANSYS. In collaboration with INRIA (Alchemy) and NXP, I worked on the N-synchronous model to program real-time video systems (e.g., TV boxes). My current research is on the design, semantics, and implementation of programming languages for hybrid systems that mix discrete and continuous-time signals (e.g., Simulink, Modelica). I develop Zélus, a synchronous language extended with ODEs (ordinary differential equations). I am also involved in Vélus, a formally verified compiler for Lustre with Coq.

See publications and talks.

Keywords: Real-time Embedded Systems; Deterministic Parallelism; Synchronous Programming; Functional Programming; Language design; Semantics; Type Systems; Compilation

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

Implementations

• Zélus: a synchronous language with ODEs (also on GitHub)
• ZRun: The ZRun Synchronous Language Interpreter
• Heptagon/BZR: a synchronous language with contracts and discrete controller synthesis
• ReactiveML: a Reactive extension of Objective Caml.
  January 2015: “Most influential PPDP’05 paper "ReactiveML: a reactive extension to ML"
• Lucid Synchrone, an ML extension of LUSTRE (April 2006: Version 3)

PhD students

• Victor Miquel (start Sept. 2026);
• Balthazar Patiachvili (with Timothy Bourke; start Sept. 2025);
• Charles de Haro (with Xavier Rival; start Sept. 2024);
• Grégoire Bussone (start April. 2023);
• Paul Jeanmaire (with Timothy Bourke; end Dec. 2024);
• Baptiste Pauget (with Jean-Louis Colaço; end Dec. 2023; now ANSYS);
• Basile Pesin (with Timothy Bourke; end Oct. 2023; now ENAC, Toulouse);
• Ismail Lahkim Bennani (with Goran Freshe; end May 2021);
• Lélio Brun (with Timothy Bourke, end July 2020; now NII, Japan);
• Ulysse Beaugnon (with Albert Cohen, end June 2019; now Google Paris);
• Guillaume Baudart (with Timothy Bourke, end March 2017, now researcher at IBM Watson);
• Adrien Guatto (with Albert Cohen and Louis Mandel, end Jan. 2016, now Assistant Professor at Université de Paris);
• Cédric Pasteur (end Nov. 2013, now ANSYS, Toulouse);
• Léonard Gérard (end Sept. 2013, now SRI International);
• Cédric Auger (end January 2013, now Prove&Run);
• Florence Plateau (with Louis Mandel, end January 2010, now Prove&Run);
• Gwenael Delaval (with Alain Girault, end June 2008, assistant professor Univ. Grenoble);
• Sébastien Labbé (with Jean-Pierre Galois, end Sept. 2007, now EDF R&D);
• Louis Mandel (end May 2006, assistant professor Univ. Paris-Sud; now researcher at IBM Watson);
• Grégoire Hamon (end Nov. 2002, now 3Red Trading, Chicago);
• Pascal Cuoq (end Oct. 2002, now at Trust in Soft).

Cours (en français)

• Eléments d’architecture machine — L2, CPES.
• Programmation des systèmes réactifs — M1, ENS.
• Systèmes synchrones — M2, MPRI.

This document was translated from L^AT_EX by H^EV^EA.