Every semester there are several lectures on safety-critical systems and different lectures on basic topics.

 

Teaching

 

  • Kolloquium: Computer Science Colloquium [108116]
    (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, 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: Supervision of theses in computer science [108113]
    (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Wehrmeister, Dr. Ludger Becker)
  • Übung: Tutorial Discrete Structures [108088]
    (in cooperation with Joanna Delicaris, Phil Steinhorst)
    [ - | | wöchentlich | Fr. | SRZ 205 | Prof. Dr. Anne Remke]
    [08.04.2022 | | wöchentlich | Fr. | SRZ 205 | Prof. Dr. Anne Remke]
    [ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
    [ - | | wöchentlich | Do. | SRZ 203 | Prof. Dr. Anne Remke]
  • Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [108071]
    [ - | | wöchentlich | Do. | SRZ 202 | Prof. Dr. Anne Remke]
  • V/Ü: Methods and Applications for Randomised Systems [108089]
    (in cooperation with Mathis Niehage, Joanna Delicaris)
    [ - | | wöchentlich | Di. | M B 1 (M 1) | Mathis Niehage]
    [ - | | wöchentlich | Do. | M B 1 (M 1) | Mathis Niehage]
    [ - | | wöchentlich | Di. | M B 4 (M 4) | Mathis Niehage]
  • Vorlesung: Discrete Structures [108087]
    (in cooperation with Joanna Delicaris)
    [ - | | wöchentlich | Di. | M B 3 (M 3) | Prof. Dr. Anne Remke]