About Myself

I have been recently appointed assistant professor in the American University of Paris, where I have been teaching since 2016.

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


Contact

first_letter_of_first_name last_name at aup.edu