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.