I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Saarbrücken Graduate School of Computer Science.
Publications
Theses
Teaching Activities
- Coinductive Proofs
- Concurrent Programming
- Programming 1
- Didactic Seminar for Student Tutors
- System Architecture
- Programming 1
- Mathematics Preparatory CourseTutor, Coach, Lecturer and Organizer·Mathematics Preparatory Course (for Computer Science), Saarland University·2021 to 2025