Federico Olimpieri

I am currently a Marie Skłodowska Curie Fellow in Computer Science at DISI (Università di Bologna).

Previously I was:

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.