Federico Olimpieri

I'm an italian PhD student in Theoretical Computer Science between Marseille and Rome.

My supervisors are 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.