I am an Assistant Professor (Maître de conférences) at the Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE) and a permanent member of Formal Methods team, of the Samovar laboratory, a combined research unit of the CNRS (UMR 5157) and of Télécom SudParis. I am working on the certification of data-centric languages, algorithms, and static program analyzers, using Coq and SSReflect.

Research Topics

Publications

Manuscripts

Also on DBLP, Google Scholar, and Research Gate.

Supervision

Teaching

TPs and TDs denote computer practicals and, respectively, blackboard teaching sessions. Mn and Sn denote the nth year/semester of a 2-year Master program and, respectively, of a 3-year Bachelor program. All classes are in French, unless marked otherwise. Topic-wise, the subjects I have taught concern: databases, functional programming, logic and theorem proving, mathematics, and foundations of software engineering.

Service

Bio

You can find my CV in English here and, in French, here .

Talks

Software

The associated developments for the certified graph and deductive database inference engines are:

Miscellaneous