I am working on the certification of data-centric languages, algorithms, and static program analyzers, using Coq and SSReflect. Currently, I am a postdoctoral researcher in the INRIA team Celtique, at the IRISA laboratory, working with David Pichardie, in the context of his ERC Consolidator "Verified Static Analysis Platform" project. Between 2017 and 2018, I was a postdoctoral researcher at Université Lyon 1, where I collaborated with Angela Bonifati, in the context of the ANR DataCert project. Between 2012 and 2016, I earned a PhD in Computer Science, at Université Paris-Sud, in the VALS team, at the LRI research laboratory, supervised by Véronique Benzaken and Evelyne Contejean. Between 2007 and 2012, I studied at Jacobs University, where I obtained a BSc in Mathematics and a MSc in Computer Science. I was also part of the KWARC team, working in the LATIN project, supervised by Florian Rabe and Michael Kohlhase .

Research Topics



Also on DBLP, Google Scholar, and Research Gate.


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.



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



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