- From February 2023: Research Fellow (RTD-A) at DIBRIS, University of Genova
- February 2021-January 2023: Postdoctoral Researcher in Theoretical Computer Science at DIBRIS, University of Genova
- June 2022: Distinguished Paper Award at ECOOP 2022
“Fair Termination of Multiparty Sessions” by L.Ciccone, F.Dagnino and L.Padovani
- September 2021: Award for the Best Italian PhD Thesis in Theoretical Computer Science, by the Italian Chapter of EATCS
Thesis: “Flexible CoInduction”, available here
- November 2017-October 2020: PhD in Computer Science, University of Genova
- September 2018: Award for the Best Italian Master Thesis in Theoretical Computer Science, by the Italian Chapter of EATCS
Thesis: “Generalizing inference systems by coaxioms”, available on arXiv
- October 2015-October 2017: MSc in Computer Science, University of Genova
- October 2012-October 2015: BSc in Computer Science, University of Genova