Federico Olimpieri
Scholar

Federico Olimpieri

Google Scholar ID: QwRVNDMAAAAJ
Aix-Marseille University
Theoretical computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
92
 
H-index
6
 
i10-index
4
 
Publications
19
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Linearization via Rewriting (Long Version)
2025
Cited
0
From Thin Concurrent Games to Generalized Species of Structures
Logic in Computer Science · 2023
Cited
3
Resume (English only)
Research Experience
  • - Junior Professor of Computer Science at LIS, Aix-Marseille Université
  • - 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
Education
  • PhD student in Mathematics between Marseille and Rome. Supervisors were Lionel Vaux, Laurent Regnier, and Lorenzo Tortora de Falco.
Background
  • Research interests: Curry-Howard-Lambek correspondence, linear logic, lambda calculus, category theory, semantics of programming languages, type theory.
Miscellany
  • El Lissitzky, Traveller.
Co-authors
0 total
Co-authors: 0 (list not available)