Gabriele Vanoni defended its PhD thesis (supervised by Ugo Dal Lago) at the Dipartimento di Informatica - Scienza e Ingegneria (DISI) at Università di Bologna in June 2022. His research is in the field of logical foundations of (functional) programming languages. In terms of conferences, his reasearch mainly lies at the intersection between LICS and POPL. He is now a postdoctoral researcher at Inria in Sophia Antipolis, under the supervision of Martin Avanzini.

Main research lines:

  • Operational semantics of the λ-calculus
  • Abstract machines
  • Geometry of interaction
  • Quantitative intersection type systems
  • (Reasonable) cost models for functional programming languages
  • Complexity analysis for functional programming languages


  • Distinguished Paper Award at ICFP 2022
  • Invitation to the LMCS Special Issue at LICS 2022

Curriculum vitae (last update on 31/10/2022)