Ph.D. student at Università di Bologna since 2016, their research focus is logic and theoretical computer science. Their main research topics include the lambda calculus, type theories, and proof assistants.
They graduated in 2013 in Mathematics at Università degli Studi di Padova (Padua, Italy), with Silvio Valentini as a supervisor.
In 2016 they graduated from the European Master's Program in Computational Logic (supervisor: Alexander Leitsch), obtaining a degree from Technische Universität Dresden (Germany), Technische Universität Wien (Austria), Free University of Bozen-Bolzan (Italy).
Visiting student in 2015 at NICTA (now DATA61) in Canberra (Australia), working with Michael Norrish on inductive and co-inductive datatypes in the HOL theorem prover.
Visiting Ph.D. student in 2017 at INRIA Saclay (Paris, France), working with Beniamino Accattoli on efficient implementations of lambda calculus.
In 2014 they received an Erasmus Mundus scholarship for full-time enrollment in the European Master's Program in Computational Logic, for a duration 24 months.
In 2017 they received an incentivo Marco Polo for a research project in collaboration with INRIA Saclay (Paris, France), for a duration of 6 months.
Tutor at Programmazione 1 (Bachelor's degree in Computer Science at unibo) academic year 2016/2017
Tutor at Logica per l'Informatica (Bachelor's degree in Computer Science at unibo) academic year 2018/2019
Tutor at Algoritmi e Strutture Dati (Bachelor's degree in Computer Science at unibo) academic year 2018/2019