Teaching
2025
EIST - Introduction to Software EngineeringExam 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.