Redesign der Bachelorvorlesung: Aus MARS wird MAUS

Im Sommersemester 2024 bieten wir zum ersten Mal die neue Vertiefungsvorlesung im Bachelor Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) an. Wir starten mit Transitionssystemen (LTS), führen für diese Komposition und eine Erweiterung über Variablen ein, welche den Modelliervorgang erleichtern. Im Laufe der Vorlesung werden wir die LTS in verschiedene Richtungen erweitern: Wir betrachten verschiedene Arten des Nichtdeterminismus, (stochastische) Verweilzeiten, Übergangswahrscheinlichkeiten, sowie verschiedene Arten von Variablen. Der Fokus der Vorlesung liegt auf dem Vergleich von Syntax und Semantik der verschiedenen Formalismen. Wir betrachten deren Ausdrucksstärke an realen Beispielen in Theorie und Praxis.

In jedem Semester werden diverse Veranstaltungen rund um das Thema sicherheitskritischer Anwendungen angeboten. Regelmäßige Vorlesungen sind die Bachelorvorlesung Methoden und Anwendungen randomisierter Systeme und die Mastervorlesungen Quantitatives Model Checking, Ausgewählte Kapitel aus den sicherheitskritischen Systemen und Modellierung und Analyse von dynamischen Systemen.

In diesen Themengebieten bieten wir auch regelmäßig Projektseminare und Seminare an. Gerne betreuen wir Sie zudem sowohl bei Bachelor als auch Master Abschlussarbeiten.

Zudem werden verschiedene Grundlagenveranstaltungen betreut, unter anderem die Bachelorvorlesung Diskrete Strukturen. Für Fragen zur außercurricularen Teilnahme wenden Sie sich bitte immer direkt an Katharina Sichma per E-Mail.

 

Lehre