Lehre
Im Sommersemester 2025 biete ich ein Master-Seminar zum Thema "Statisches Model Checking" an. Das Seminar ist bereits voll belegt und es sind alle Seminarthemen vergeben.
Außerdem biete ich das Oberseminar "Wissenschaftlichen Arbeiten für Informatiker'innen" an. Das Oberseminar bietet Studierenden, die ihre Bachelor- oder Masterarbeiten in der Informatik schreiben, Unterstützung beim wissenschaftlichen Arbeiten. Gemeinsam werden die Grundlagen wissenschaftlichen Arbeitens erarbeitet und Themengebiete wie Themenfindung, Aufbau und Gliederung einer wissenschaftlichen Arbeit und Literaturarbeit sowie Themenwünsche der Studierenden behandelt.
Das Oberseminar startet am 17. April 2025 und findet während des Sommersemesters regelmäßig donnerstags von 10:15-11:45 Uhr im SRZ 202 statt.
Learnweb-Kurs: WAInfo-2025_1 (ohne Einschreibeschlüssel)