Let name := federico in name.olimpieri@lis-lab.fr
Laboratoire d'Informatique et Systèmes
Campus universitaire de Luminy
163 avenue de Luminy
13288 Marseille cedex 09
France
I am currently post-doc at LIS, within the project EPIQ - Quantum Software.
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.