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

 

  • Kolloquium: Informatik-Kolloquium [106115]
    (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
    [ - | | wöchentlich | Mi. | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
  • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106114]
    (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
  • Übung: Übungen zur Vorlesung "Diskrete Strukturen" [106128]
    (zusammen mit Jonas Stübbe, Pauline Blohm)
    [ - | | wöchentlich | Do. | M A 503 (SR 5) | Jonas Stübbe]
    [ - | | wöchentlich | Do. | SRZ 115 | Jonas Stübbe]
    [ - | | wöchentlich | Fr. | M A 503 (SR 5) | Jonas Stübbe]
    [ - | | wöchentlich | Fr. | SRZ 117 | Jonas Stübbe]
    [ - | SRZ 17 | Jonas Stübbe]
    [ - | M B 2 (M 2) | Jonas Stübbe]
  • Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [106129]
    [wöchentlich | Prof. Dr. Anne Remke]
  • V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [106130]
    (zusammen mit Mathis Niehage)
    [ - | | wöchentlich | Di. | M A 109 (SR 1B) | Mathis Niehage]
    [ - | | wöchentlich | Do. | SRZ 202 | Mathis Niehage]
  • Vorlesung: Diskrete Strukturen [106127]
    (zusammen mit Jonas Stübbe, Pauline Blohm)
    [ - | | wöchentlich | Di. | M B 2 (M 2) | Jonas Stübbe]
    [ - | M B 4 (M 4) | Jonas Stübbe]