Since April 2025 I am a PhD student at the Institute of Theoretical Computer Science in Braunschweig.
I graduated from Technische Universität Braunschweig in 2025.
| Summer 2026 | Advanced Topics in Verification (organizer, tutor), Seminar (organizer) |
| Winter 2025/26 | Models of Computation (organizer, tutor), Theoretical Computer Science 1 (tutor) |
| Summer 2025 | Introduction to Logic (tutor), Concurrency Theory (organizer, tutor) |
Bitte beachten Sie: Sobald Sie die Kartenfunktion aktivieren, werden Daten an die OpenStreetMap Foundation übertragen. Weitere Informationen: OpenStreetMap Datenschutzerklärung (englisch).