Teaching
2025
EIST - Introduction to Software Engineering Exam Team
2024
Practical course: Advanced Systems Programming in C/Rust (WS) Tutor
2023
Practical course: Systems Programming in C/Rust (WS) Tutor
Practical course: Advanced Systems Programming in C/Rust (SS) Tutor
Supervised Theses
- Formal Verification of SHA-3: Proof Techniques for Symmetric
Cryptography
Tristan Schwieren, Master Thesis, SS 2025
Note: This thesis was primarily supervised by an industry collaborator at CRYSPEN.