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