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.
first_letter_of_first_name last_name at aup.edu