Marc Pouzet

Professor from Université Pierre et Marie Curie in the computer science department of École normale supérieure. Member of the LIENS.
Junior member at Institut Universitaire de France since Sept. 2007. I lead the PARKAS research team 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
 

Research

My research activity concerns programming languages for real-time systems with particular interest in synchronous programming, semantics, type systems and compilation. I have developed the language Lucid Synchrone with Paul Caspi and Grégoire Hamon. Several features 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, I am interested in the semantics and implementation of hybrid modelers (e.g., Simulink, Modelica), the design of a synchronous language with mixed (discrete/continuous) signals, and the formal certification of a Lustre compiler in Coq. Some publications and talks.

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

Projects, Program committee

• 18th annual workshop SYNCHRON’2011 on synchronous programming and its applications.
• Action d’envergure INRIA Synchronics (2008 – 2012)
• EURASIP Journal on Embedded Systems (Associate editor), Hermes (Directeur de collection)
• pc-member of DATE 2013, EMSOFT 2012, CSDM 2012, PADL 2012, DATE 2012 (topic E3), AFADL 2012, MSR 2011, RTNS 2011, DATE 2011.
• External reviewer for DAC 2013, DAC 2012 and DAC 2011.
• pc-member of RTSS 2010 (Design and Verification Track), FMCAD 2010, DCC 2010, DATE 2010, AFADL 2010, RTNS 2010,
• Hardware design and Functional Languages 2009, RTNS 2009, AFADL 2009, MSR 09
• JFLA 2008, RTNS 2008, FMGALS 07, MSR 07, Real-Time and Network Systems Conference 2007, Hardware design and Functional Languages 2007, Model-driven High-level Programming of Embedded Systems (SLA++P 2007) (steering committee). Workshop on Synchronous Languages, Applications and Programming (co-chair): SLAP 2004, SLAP 2005, SLAP 2006
• MSR 2005, SLAP 2003, JFLA 2000

Implementations

• Lucid Synchrone, an ML extension of LUSTRE April 2006: Version 3)
• ReactiveML, a Reactive extension of Objective Caml

PhD students

• Adrien Guatto (start Sept. 2011) (with Albert Cohen and Louis Mandel)
• Cédric Pasteur (start Sept. 2010)
• Léonard Gérard (end March 2013)
• Cédric Auger (end January 2013)
• 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);
• Grégoire Hamon (end Nov. 2002, now at The MathWorks, Boston);
• Pascal Cuoq (end Oct. 2002, now at CEA)

Cours (en français)

• Master ATIAM — IRCAM, 26 oct. 2011. Parallélisme synchrone et ReactiveML.
• Cours Système et modélisation, L3 de l’ENS, Printemps 2012 (avec Louis Mandel).
• Cours Systèmes Synchrones au MPRI (avec Louis Mandel et Jean Vuillemin).
• Master Ingénierie des systèmes industriels complexes (ISIC) (École Polytechnique, INSTN, Paris-Sud 11)

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