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
  • Semantics and complexity of probabilistic programs

Honors and Awards:

  • Invited speaker at TLLA 2023
  • Distinguished Paper Award at ICFP 2022
  • Invitation to the LMCS Special Issue at LICS 2022

Grants:

  • MathInGreaterParis Postdoctoral Fellowship (2023-2025), cofunded by Marie Skłodowska-Curie Actions and Fondation Sciences mathématiques de Paris.

(Co-)Supervised students:

  • Oscar Barreca (B.Sc.). Thesis: Compression of Labeled Spine Trees

Curriculum vitae (last update on 03/04/2023)