Axel Kerinec

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.
You are welcome to contact me with any questions regarding my work, or if you would like me to
give a talk — I would be very glad to do so.

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.