Teaching

University of Copenhagen (2026 - present)

• Software Development (Softwareudvikling): Spring 2027 (Lecturer)

ETH Zürich (2017 - present)

• Security Engineering:
  Fall 2017 (TA), Fall 2018 (Head TA), Fall 2019 (Lecturer), Fall 2020 (Lecturer), Fall 2021 (Lecturer), Fall 2022 (Head TA), Fall 2023 (Lecturer), Fall 2024 (Lecturer), Fall 2025 (Lecturer), Fall 2026 (Lecturer)

• Formal Methods for Information Security:
  Spring 2020 (Invited Lecturer), Spring 2021 (Lecturer), Spring 2022 (Lecturer)

• Information Security:
  Spring 2021 (TA), Spring 2022 (Lecturer)

• Formal Methods and Functional Programming:
  Spring 2019 (TA), Spring 2020 (TA)

• Parallel Programming:
  Spring 2017 (TA), Spring 2018 (TA);

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).