ETH Zürich (2017 - present)
- Parallel Programming:
Spring 2017 (TA),
Spring 2018 (TA);
- Security Engineering:
Fall 2017 (TA),
Fall 2018 (Head TA),
Fall 2019
(Lecturer),
Fall 2020
(Lecturer),
Fall 2021 (Lecturer),
Fall 2022 (Head TA);
- Formal Methods and Functional Programming:
Spring 2019 (TA),
Spring 2020 (TA);
- Formal Methods for Information Security:
Spring 2020 (Invited Lecturer),
Spring 2021
(Lecturer),
Spring 2022
(Lecturer);
- Information Security:
Spring 2021 (TA),
Spring 2022
(Lecturer).
Politecnico di Milano (2014 - 2016)
- Theoretical Computer Science
(Principi dell’Informatica):
Spring 2014 (Head TA), Spring 2015 (Head TA), Spring 2016 (Head TA);
- Software Engineering I
(Ingegneria del Software I):
Spring 2014 (Lab Assistant), Spring 2015 (Lab Assistant), Spring 2016 (Lab Assistant).