Let name := federico in name.olimpieri@unibo.it
Dipartimento di Informatica
Mura Anteo Zamboni, 7
40126 Bologna BO
Italy
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.