Publications and seminars
- BSc Thesis Revised version on arXiv.
- Curry-Howard-Lambek Seminar on the Curry-Howard-Lambek correspondence.
- CoqShop Seminar on Coq, part of a series of seminars by "The Knights Who Say $\lambda$"
- More of The Knights who say $\lambda$ .
Teaching
- I was Teaching Assistant for the course Fondamenti dell'Informatica at the University of Pisa, performing a series of lectures cohosted by then CS student Dario Tasinato. During these lectures, we used a tool we developed to instruct first year students on how to perform mathematical proofs.