About

• February 2024 - January 2025 postdoc position “Types for resource analysis” at DIBRIS,University of Genova
• November 2020 - April 2024 PhD in computer science, University of Genova.
• October 2018 - October 2020 MSc in computer science, University of Genova.
• September 2015 - July 2018 BSc in computer science, University of Genova