Federico Olimpieri

I work as Junior Professor of Computer Science at LIS, Aix-Marseille Université.

Previously I was:

• MSC Fellow in Computer Science at DISI (Università di Bologna).

• Post-doc at LIS, within the project EPIQ - Quantum Software.

• Post-doc at the School of Mathematics of the University of Leeds within the project Syntax and Semantics of 2-Dimensional Type Theory.
• Post-doc at LIPN within the project CoGITARe.
• 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.

• Research
• Teaching
• Other Stuff