About Myself

I am current leading the FNR funded icomplai project in the University of Luxembourg

At the same time, I am an assistant professor in the American University of Paris.

Previously, I have worked in the Prosecco team on the type inference algorithm of the F* language, in Dale Miller's ERC ProofCert project and in the TLA+ project.

In 2012, I have completed my PhD thesis entitled Unification for Higher-order Resolution under the supervision of Alexander Leitsch.

Curriculum Vitae


first_letter_of_first_name last_name at aup.edu