I am currenty teaching Algorithm Design for the Master's degree in Engineering of Computer Science at the Sapienza University of Rome.

Previously, I was a college lecturer at St Catherine's College, University of Oxford tutoring undergraduates in:

• Introduction to Formal Proof (Trinity Term 2016, 2017, 2018)
• Logic and Proof (Hilary Term 2016, 2017)
• Algorithms (Hilary Term 2018)

I was also a teaching assistant at the Department of Computer Science, University of Oxford for:

• Computational Learning Theory (Michaelmas Term 2018-2019)
• Probability and Computing (Hilary Term 2017-2018)

and a demonstrator for Machine Learning for the AIMS CDT at the same university.