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. After having spent one year at Inria in Sophia Antipolis as a postdoc, he is now a postdoctoral researcher at IRIF, in Paris, previously funded by FSMP and European Commission (2023-2025) and now by Région Île-de-France under the QuanTiP project.

Main research lines:

• Operational semantics of the λ-calculus.
• Abstract machines and compilation.
• Geometry of interaction.
• Quantitative (intersection) type systems.
• (Reasonable) cost models and complexity analysis for functional programming languages.
• Semantics and complexity analysis of probabilistic programs.

Honors and Awards:

• Best paper nomination at ETAPS 2024.
• Winner of the Ackermann Award for Outstanding Dissertation in Logic in Computer Science 2023 (awarded by EACLS).
• Winner of the E.W. Beth Dissertation Prize 2023 (awarded by FoLLI).
• Best Italian PhD thesis in theoretical computer science 2023 (awarded by the Italian Chapter of EATCS).
• Invited speaker at DCM 2023, TLLA 2023, SCALP 2025.
• Distinguished Paper Award at ICFP 2022.

Grants:

• MathInGreaterParis Postdoctoral Fellowship (2023-2025), cofunded by Marie Skłodowska-Curie Actions (MSCA) and Fondation Sciences mathématiques de Paris (FSMP).
• Postdoc fellowship (2025-2026), funded by Région Île-de-France under the QuanTiP project.

(Co-)Supervised students:

• Oscar Barreca (B.Sc.). Thesis: Compression of Labeled Spine Trees
• Yoan Bouniard (M.Sc.), now Ph.D. student at ENS/Inria. Thesis: Space Complexity of Abstract Machines with Garbage Collection
• Giacomo Gatti (M.Sc.). Thesis: Compiling Probabilistic Programs to Quantum Circuits.

Curriculum vitae (last update on 4/11/2025)