Pattern Matching Exhaustiveness and Redundancy Checker
Bachelor's project · Tyler ·
teaching
courses
| 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 |
supervision
Mini Rust Compiler
Master's project · Michael ·
Extending the Compiler Construction Compiler with Classes
Bachelor's project · Vincent ·