In jedem Semester werden diverse Veranstaltungen rund um das Thema sicherheitskritischer Anwendungen angeboten. Zudem werden verschiedene Grundlagenveranstaltungen betreut.

Gerne betreuen wir Sie zudem sowohl bei Bachelor als auch Master Abschlussarbeiten.

Lehre

 

  • Kolloquium: Informatik-Kolloquium [108116]
    (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Benjamin Risse, Jun.-Prof. Tanya Braun, Prof. Dr. Markus Müller-Olm)
    [ - | | wöchentlich | Mi. | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
  • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108113]
    (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Jun.-Prof. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Aurélio Wehrmeister, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers)
  • Übung: Übungen zur Vorlesung "Diskrete Strukturen" [108088]
    (zusammen mit Joanna Georgia Delicaris, Mathis Friedrich Niehage)
    [ - | | wöchentlich | Do. | Mathis Friedrich Niehage]
    [ - | | wöchentlich | Do. | Mathis Friedrich Niehage]
    [ - | | wöchentlich | Fr. | Mathis Friedrich Niehage]
  • V/Ü: Methoden und Anwendungen für randomisierte Systeme [108089]
    [ - | | wöchentlich | Do. | SRZ 203 | Prof. Dr. Anne Remke]
    [ - | | wöchentlich | Di. | SRZ 203 | Prof. Dr. Anne Remke]
  • Vorlesung: Diskrete Strukturen [108087]
    (zusammen mit Joanna Georgia Delicaris)
    [ - | | wöchentlich | Di. | M B 3 (M 3) | Prof. Dr. Anne Remke]