I am an Associate Professor in Computer Science (Maîtresse de conférences) at the Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE) and a permanent member of the Méthodes team, at the 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. Current students: here.

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.

    Students

    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 are: databases, functional programming, logic and theorem proving, mathematics, and foundations of software engineering.

    Activities

    CV

    Talks

    Software

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

    Resources