• From February 2021: Postdoctoral Researcher in Theoretical Computer Science at DIBRIS, University of Genova
  • 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