About
My work focuses on λ-calculus, semantics, approximation theory and category theory.
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.
You can also read my CV (in French)·
À propos
Mes travaux portent sur le λ-calcul, la sémantique, la théorie de l’approximation ainsi que la théorie des catégories.
J’ai effectué une thèse au sein de l’équipe Love (désormais l’équipe LoCal) au Laboratoire d'Informatique de Paris Nord de l’Université Sorbonne Paris Nord sous la direction de G. Manzonetto. Vous pouvez la consulter ici : Une histoire de λ-calcul et d'approximation.
Vous pouvez également lire mon CV·
Contact Email = axel.kerinecxlacl.fr[@/x]
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.
N'hésitez pas à me contacter pour toute question relative à mon travail, ou si vous souhaitez m'inviter à donner un séminaire — j'en serais très heureux.
I am currently looking for a post-doctoral position starting in October
Je recherche un post-doctorat pour octobre
