Federico Olimpieri

I am currently post-doc at the School of Mathematics of the University of Leeds, within the project Syntax and Semantics of 2-Dimensional Type Theory.

Before that, I was post-doc at LIPN within the project CoGITARe.

I was PhD student in Mathematics between Marseille and Rome. My supervisors were Lionel Vaux, Laurent Regnier and Lorenzo Tortora de Falco.

My research interests gravitate around the Curry-Howard-Lambek correspondence. Mainly: linear logic, lambda calculus, category theory, semantics of programming languages, type theory.

I'm a member of the LHC and Scalp working groups and of the IRN Linear Logic. I'm also an enthusiastic partecipant at the monthly Chocola seminar in Lyon.