معرفی
Beniamino Accattoli is a Researcher in Computer Science at Inria, where he has been a member of the PARTOUT team since January 2015. His work centers on higher-order computation, particularly the lambda calculus, connecting theoretical mathematics with practical implementations of functional languages.
- Current Projects: CANofGAS (2022–2025), COCA HOLA (2016–2021).
- Recent Events: Program Committee member for LSFA 2025, ICFP 2024, and FSCD 2024; lecturer at MPRI 2023–24.
Research Themes:
- Internal: Developing mathematical theories of sharing in lambda calculus to enhance efficiency in functional language implementations.
- External: Establishing reasonable cost models for time and space in lambda calculus, resolving long-standing open problems in computational complexity.
Scientific Awards:
- Distinguished Paper Award at ICFP 2022.
- Best Paper Award at RTA 2013.
Academic Contributions:
- Co-inventor of the Linear Substitution Calculus, a canonical framework for higher-order computation with sharing.
- Proved polynomial equivalence between lambda calculus and Turing machines for time complexity with Ugo Dal Lago.
- Refuted token-machine conjectures and introduced environment-based machines for space complexity with Ugo Dal Lago and Gabriele Vanoni.
۰مقاله منتشرشده
