Axel Kerinec

À propos

Je suis actuellement en post-doctorat avec Luc Pellissier au LACL de l'Université Paris-Est Créteil au sujet de réseaux de preuves pour la ludique.
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 : A Story of λ-calculus and Approximation.
Vous pouvez également lire mon CV·

Contact   Email = axel.kerinecxlacl.fr[@/x]

Je vous invite à me contacter pour toute question relative à mon travail, ou si vous souhaitez m'inviter à donner un séminaire — j'en serais très heureux.

Photo de moi


Venez me voir parler de Bang-calcul à FSCD