I am working on the certification of data-centric languages and algorithms, using Coq and SSReflect.
My postdoctoral fellowship is funded by the ANR DataCert project. At Université Lyon 1, I collaborate with Angela Bonifati . Between 2012 and 2016, I earned a PhD in Computer Science, at Université Paris-Sud, in the VALS Group of 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. During that time, I was also in the KWARC Group, working as a student in the LATIN project, supervised by Florian Rabe and Michael Kohlhase .


I am interested in the following topics:



Also on DBLP, Google Scholar and Research Gate.