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)