Every semester there are several lectures on safety-critical systems and different lectures on basic topics.
Teaching
Kolloquium: Computer Science Colloquium [102091] (in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, 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: Supervision of theses in computer science [102090] (in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, 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, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Dr. Ludger Becker)
[ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke] [ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke] [ - | | wöchentlich | Fr. | M A 401 (SR 4) | Prof. Dr. Anne Remke] [ - | | wöchentlich | Fr. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
Kolloquium: Computer Science Colloquium [100117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) [ - | | wöchentlich | Mi. | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
V/Ü: Computer Networks and their Performance [100091] (in cooperation with Dr. Carina da Silva) [ - | | wöchentlich | Di. | M B 5 (M 5) | Dr. Carina da Silva] [ - | | wöchentlich | Fr. | M B 5 (M 5) | Dr. Carina da Silva]
V/Ü: Quantitative Model Checking [100092] (in cooperation with Mathis Niehage, Pauline Blohm) [ - | | wöchentlich | Mo. | M B 6 (M 6) | Mathis Niehage] [ - | | wöchentlich | Do. | M B 6 (M 6) | Mathis Niehage]
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)
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)
Kolloquium: Computer Science Colloquium [106089] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106085] (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)
Kolloquium: Computer Science Colloquium [104091] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Jun.-Prof. Christian Scheffer, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104084] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [102088] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102085] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [100120] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [108117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [106116] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [104117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [102089] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [100118] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [108406] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [104262] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm)
Kolloquium: Module 4/Semester 4 [102141] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [101345] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm)