معرفی
Federico Olimpieri serves as Junior Professor of Computer Science at Aix-Marseille University, affiliated with the Laboratoire d'Informatique et Systèmes (LIS). His research bridges theoretical computer science, mathematical logic, and category theory through the lens of the Curry-Howard-Lambek correspondence.
His research program focuses on linear logic, lambda calculus, category theory, semantics of programming languages, and type theory. Olimpieri investigates how categorical structures model computational phenomena, with particular emphasis on denotational semantics and proof-theoretic foundations. His work connects abstract mathematical frameworks to practical programming language design.
Recent publications (2021-2025) reveal a clear trajectory: evolving from foundational work on intersection types and Taylor expansions toward advanced applications in linear logic, multicategorical structures, and quantum software semantics. His output demonstrates consistent contributions to top venues including LICS, CSL, and POPL, with growing emphasis on categorical methods for concurrency and quantum computation.
Olimpieri actively participates in significant research projects including EPIQ (Quantum Software) at LIS, following prior engagements at the University of Leeds and LIPN. He teaches core computer science curriculum from bachelor to master's levels and supervises undergraduate research projects.
Based at LIS in Marseille, his work contributes to France's theoretical computer science community through international collaborations spanning Italy, the UK, and multiple French institutions. His research lab focuses on developing mathematical foundations for next-generation programming paradigms.
