Marc Pouzet

Professor in Computer Science at the University of Paris-Sud since sept. 2005, member of the LRI (team Démons) / INRIA (Proval).
Junior member at Institut Universitaire de France since sept. 2007.

Address: LRI, Université Paris-Sud 11, Bat. 490, 91405 Orsay Cedex France
Office: INRIA Futurs - PROVAL, Parc club Orsay Université, Zac des Vignes, 4 rue Jacques Monod, 91893 Orsay cedex
Phone: (33) 1 72 92 59 43
Fax: (33) 1 60 19 69 63

Research

Most of my research activity concerns languages for real-time systems with particular interest in synchronous programming, semantics, type-systems and compilation. I have developped the language Lucid Synchrone with Paul Caspi and Grégoire Hamon. Several features originaly introduced in the language have been integrated in SCADE 6 at Esterel-Technologies and the LCM tool at Dassault-Systèmes. I have started a recent activity on programming models for real-time video systems (e.g., TV boxes) with INRIA (Alchemy) and NXP, and on the certification of a Lustre compiler in Coq. Here is a list of publications and recent talks.

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

Projects, Program committee

• Action d’envergure INRIA Synchronics (2008 – 2011)
• EURASIP Journal on Embedded Systems (Associate editor), Hermes (Directeur de collection)
• pc-member of FMCAD 2010, DCC 2010, DATE 2010, AFADL 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 beta is now available )
• ReactiveML, a Reactive extension of Objective Caml

PhD students

• Léonard Gérard (start sept. 2008)
• Cédric Auger (start sept. 2008)
• Florence Plateau (end january 2010)
• Gwenael Delaval (with Alain Girault, end june 2008)
• Sébastien Labbé (with Jean-Pierre Galois, end sept. 2007)
• 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)

• Cours Systèmes Synchrones au MPRI (avec Jean Vuillemin)
• Master Ingénierie des systèmes industriels complexes (ISIC) (École Polytechnique, INSTN, Paris-Sud 11)
• Cours à l’Ecole Nationale Supérieure des Techniques Avancées (ENSTA) – Conception de logiciel pour processeurs embarqués

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