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 the formal methods team Méthodes, at Samovar laboratory (Télécom SudParis), part of Institut Polytechnique de Paris. I am also an associate member of the LDBC SNB organization. Currently, I am working on the certification of data-centric languages, algorithms, and static program analyzers, using Coq/SSReflect, as well as on graph database topics.

News

Research Topics

Publications

  • Book Chapters

  • International Journals

  • International Conferences

  • International Workshops

  • Invited Articles

  • Preprints

  • Manuscripts

    Also on DBLP, Google Scholar, HAL , and Research Gate.

    Supervision

    Teaching

    TPs and TDs denote computer practicals and, respectively, blackboard teaching sessions. Mn and Ln denote the nth year 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.

    Activities

    Bio

    You can find my (potentially outdated) CV in English here and, in French, here .

    Talks

    Software

    The associated developments for the AQP tool and the certified graph/deductive database inference engines:

    Resources