Contact
-
Email = axel.kerinecxlacl.fr[@/x]
About me
-
I am currently doing a post-doc with Luc Pellissier at the LACL of the University Paris-Est Créteil.
Education
-
I have done a PhD in the Love team (now LoCal team)
at the Laboratoire d'Informatique de Paris Nord
of Université Sorbonne Paris Nord under the direction of G. Manzonetto.
You can find it here: A Story of λ-calculus and Approximation.
Here is my curriculum in French and in English.
