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

I am interested in the following topics:


Publications

Manuscripts

Also on DBLP, Google Scholar, and Research Gate.

Teaching

Service