teaching
| semester | course | role |
|---|---|---|
| winter 2026/27 | Introduction to Programming | TA |
| winter 2026/27 | Functional Programming in Lean | TA |
| summer 2026 | Theoretical Computer Science | TA |
| summer 2026 | Essentials of Programming Languages | TA |
| winter 2025/26 | Introduction to Programming | TA |
| winter 2025/26 | Concurrency Theory | TA |
| summer 2025 | Compiler Construction | TA |
| winter 2024/25 | Introduction to Programming | TA |
| summer 2024 | Compiler Construction | TA |