Home | Research | Enseignement | Prelude


Research topics

Keywords: Real-time scheduling, Real-time programming (mixing functional and temporal aspects), Formal languages, Compiling.

Publications: A complete list is available here (extracted from HAL).

I recently started working on the Corteva ANR project, a correct-by-construction methodology for supporting execution time variability in real-time systems.

Scientific animation

RTNS 2018

I am a member of the Program Committee of RTNS 2018, please consider submitting your contribution.

RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. The purpose of the conference is to share ideas, experiences and information among academic researchers, developers and service providers in the field of real-time systems and networks.

SIES 2018

I am a member of the program committee of SIES 2018, please consider submitting your contribution.

The aim of this symposium is to bring together researchers and practitioners from industry and academia and provide them with a platform to report on recent developments, deployments, technology trends and research results, as well as initiatives related to embedded systems and their applications in a variety of industrial environments.

Short Vitae


Ongoing PhD thesis: Defended PhD thesis: Some internships:

My Ph.D. thesis

The title of my thesis is A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. We defined a language, called Prelude, and its compiler for embedded control systems of the aeronautical and aerospatial domains: Supervised by Frédéric Boniol, Claire Pagetti and David Lesens (Astrium Space Transportation).
Thesis defended, November 19, 2009, at ISAE-Supaéro (Toulouse): see the slides or the manuscript.

Download the Prelude compiler here.