Courses Taught
-
Feb-May
2024
Teaching Assistant, ETH Zürich
-
Feb-May
2024
Teaching Assistant, ETH Zürich
-
Sep-Dec
2023
Teaching Assistant, ETH Zürich
-
Jan-Apr
2023
Teaching Assistant, ETH Zürich
-
Sep-Dec
2022
Teaching Assistant, ETH Zürich
-
Aug-Nov
2020
-
Aug-Nov
2020
-
Aug-Nov
2019
-
Aug-Nov
2018
Supervision
-
Feb-May
2024
Towards Termination in Tamarin
-
Feb-Aug
2023
Implementation of Timed Lossy Channel Systems in Haskell