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
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.
This document was translated from LATEX by HEVEA.