-
(TA) Computability and Complexity Theory - University College London. 2024.
-
(TA) Language-based technology for Security - University of Pisa. 2021.
-
(TA) Foundations of Computer Science - University of Pisa. 2021.
-
(Teacher) Introduction to Micro:Bit Programming - Pisa and Livorno High Schools. 2021.
-
(TA) Logic for Programming - University of Pisa. 2019-2020.