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
  • (Non-)idempotent intersection type systems
  • (Reasonable) cost models for functional programming languages
  • Complexity analysis for functional programming languages

Curriculum vitae (last update on 30/06/2022)