Teaching
In the summer term 2025 I offer a Master seminar on the topic "Statistical Model Checking". The seminar is already fully booked and all seminar topics have been assigned.
I also offer the advanced seminar “Academic Work for Computer Scientists” (in German language). The advanced seminar supports students who are writing their Bachelor's or Master's theses in computer science with scientific work. We will look into the basics of academic work and deal with topics such as finding a thesis topic, structure and outline of a scientific work and literature work as well as topic requests by students. The advanced seminar starts on April 17, 2025 and takes place regularly during the summer semester on Thursdays from 10:15-11:45 a.m. in SRZ 202.
Learnweb course: WAInfo-2025_1 (no enrollment key required.)