Scholar
Beniamino Accattoli
Google Scholar ID: WMG9LlMAAAAJ
Inria & École Polytechnique
Citations & Impact
Citations
1,031
H-index
21
i10-index
37
Publications
20
Co-authors
17
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Publications: Solved three long-standing open problems, including finding the canonical lambda calculus with first-class sharing (linear substitution calculus), the first reasonable time cost model (with Ugo Dal Lago), and the first reasonable logarithmic space cost model (with Ugo Dal Lago and Gabriele Vanoni). HDR thesis provides an overview of 15 years of research (2011-2025).
Research Experience
- Work Experience: Researcher at Inria since 2015. Research Projects: Sharing mechanisms in the lambda calculus, time complexity models, and logarithmic space complexity models.
Background
- Research Interests: Higher-order computations, lambda calculus, functional programming languages. Professional Field: Computer Science. Brief Introduction: A researcher at Inria in the PARTOUT team since January 2015, focusing on higher-order computations, especially the lambda calculus.
Miscellany
- E-mail: givenname.familyname at inria.fr
