• Winter Term 2025/26
• Summer Term 2025
• Winter Term 2024/25
• Summer Term 2024
• Winter Term 2023/24
• Summer Term 2023
• Winter Term 2022/23
• Summer Term 2022
• Winter Term 2021/22
• Summer Term 2021
• Winter Term 2020/21
• Summer Term 2020
• Winter Term 2019/20
• Summer Term 2019
• Winter Term 2018/19

Winter Term 2025/26

• V/Ü: Sicherheit in Eingebetteten Systemen [102058]
  (in cooperation with Jonas Becker-Kupczok and Julius Adelt)
  • [15^th Oct 2025 – 28^th Jan 2026 | Wed, 10.00 a. m. – 12.00 p. m. | weekly | M B 5 (M 5)]
  • [16^th Oct 2025 – 29^th Jan 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M B 5 (M 5)]
• Project seminar: Projektseminar: Entwurf Sicherer Eingebetteter Systeme [102059]
  (in cooperation with Jonas Becker-Kupczok and Julius Adelt)
  • [15^th Oct 2025 – 28^th Jan 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly | SRZ 202]
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102057]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
  • [15^th Oct 2025 – 28^th Jan 2026 | Wed, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 202]
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [102118]
  (in cooperation with Sergei Gorlatch, , , , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Carina da Silva, Jan Vahrenhold, Tanya Braun and Ralph-Günther Holz)
• Colloquium: Informatik-Kolloquium [102117]
  (in cooperation with Sergei Gorlatch, , , , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Jan Vahrenhold, Ralph-Günther Holz and Tanya Braun)
  • [15^th Oct 2025 – 28^th Jan 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly | M B 4 (M 4)]

Summer Term 2025

• Lecture: Informatik IV - Rechnerstrukturen [100060]
  (in cooperation with Jonas Becker-Kupczok)
• V/Ü: Rechnerstrukturen [100063]
• Project seminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
  (in cooperation with Anne Remke, Julius Adelt and Pauline Blohm)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100064]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [100061]
  (in cooperation with Jonas Becker-Kupczok)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [100120]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Carina da Silva, Jan Vahrenhold, Vladimir Molchanov, Tanya Braun and Ralph-Günther Holz)
• Colloquium: Informatik-Kolloquium [100119]
  (in cooperation with Sergei Gorlatch, , Ralph-Günther Holz, Tanya Braun, Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2024/25

• V/Ü: Eingebettete Systeme [108060]
  (in cooperation with Jonas Becker-Kupczok)
• Seminar: Seminar Safe & Secure Embedded Systems [108063]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [108062]
  (in cooperation with , Malte Schilling, Julius Adelt and Pauline Blohm)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108061]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [108119]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Carina da Silva, Jan Vahrenhold, Tanya Braun and Ralph-Günther Holz)
• Colloquium: Informatik-Kolloquium [108118]
  (in cooperation with Sergei Gorlatch, , Tanya Braun, Ralph-Günther Holz, Xiaoyi Jiang, Malte Schilling, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Summer Term 2024

• Lecture: Informatik IV - Rechnerstrukturen [106032]
  (in cooperation with Jonas Becker-Kupczok)
• Lecture: Qualitätsorientierter Entwurf eingebetteter Systeme [106036]
• V/Ü: Rechnerstrukturen [106034]
• Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [106042]
  (in cooperation with Julius Adelt and Pauline Blohm)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106038]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [106033]
  (in cooperation with Jonas Becker-Kupczok)
• Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [106037]
  (in cooperation with Julius Adelt and Pauline Blohm)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [106114]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Carina da Silva, Jan Vahrenhold, Tanya Braun and Ralph-Günther Holz)
• Colloquium: Informatik-Kolloquium [106115]
  (in cooperation with Sergei Gorlatch, , Ralph-Günther Holz, Tanya Braun, Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2023/24

• V/Ü: Eingebettete Systeme [104770]
  (in cooperation with Jonas Becker-Kupczok and Pauline Blohm)
• Seminar: Seminar Safe & Secure Embedded Systems [104761]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [104757]
  (in cooperation with Malte Schilling, Julius Adelt and Pauline Blohm)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104758]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [104560]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold, Tanya Braun and Ralph-Günther Holz)
• Colloquium: Informatik-Kolloquium [104561]
  (in cooperation with Sergei Gorlatch, , Tanya Braun, Ralph-Günther Holz, Xiaoyi Jiang, Malte Schilling, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Summer Term 2023

• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [102090]
  (in cooperation with Sergei Gorlatch, Dominik Köppl, , Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold, Tanya Braun and Ludger Becker)
• Colloquium: Informatik-Kolloquium [102091]
  (in cooperation with Sergei Gorlatch, Dominik Köppl, , Tanya Braun, Xiaoyi Jiang, Anne Remke, Malte Schilling, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2022/23

• V/Ü: Sicherheit in Eingebetteten Systemen [100060]
  (in cooperation with Jonas Becker-Kupczok)
• Seminar: Seminar Safe & Secure Embedded Systems [100063]
  (in cooperation with Jonas Becker-Kupczok, Julius Adelt and Pauline Blohm)
• Project seminar: Projektseminar: Entwurf sicherer und intelligenter eingebetteter Systeme [100061]
  (in cooperation with Julius Adelt)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100062]
  (in cooperation with Marco Wehrmeister, Jonas Becker-Kupczok and Julius Adelt)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [100112]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Ludger Becker, Anne Remke, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold, Marco Wehrmeister and Tanya Braun)
• Colloquium: Informatik-Kolloquium [100117]
  (in cooperation with Sergei Gorlatch, Jan Vahrenhold, , Tanya Braun, Xiaoyi Jiang, Anne Remke and Markus Müller-Olm)

Summer Term 2022

• Lecture: Informatik IV - Rechnerstrukturen [108058]
• V/Ü: Rechnerstrukturen [108068]
• V/Ü: Eingebettete Systeme [108060]
  (in cooperation with Marco Wehrmeister)
• Seminar: Seminar Safe & Secure Embedded Systems [108067]
• Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [108061]
  (in cooperation with Julius Adelt)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108056]
  (in cooperation with Marco Wehrmeister)
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [108059]
  (in cooperation with Jonas Becker-Kupczok)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [108113]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold, Stefan Schiffner, Benjamin Risse, Tanya Braun, Marco Wehrmeister and Ludger Becker)
• Colloquium: Informatik-Kolloquium [108116]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Tanya Braun, Xiaoyi Jiang, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2021/22

• Lecture: Qualitätsorientierter Entwurf eingebetteter Systeme [106060]
• V/Ü: Automated Planning and Acting [106095]
  (in cooperation with Tanya Braun)
• Project seminar: Projektseminar: Entwurf eingebetteter Systeme [106062]
  (in cooperation with Julius Adelt)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106063]
• Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [106061]
  (in cooperation with Jonas Becker-Kupczok)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [106085]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold, Stefan Schiffner, Benjamin Risse, Tanya Braun, Marco Wehrmeister and Ludger Becker)
• Colloquium: Informatik-Kolloquium [106089]
  (in cooperation with Sergei Gorlatch, , Stefan Schiffner, Benjamin Risse, Xiaoyi Jiang, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Summer Term 2021

• Lecture: Informatik IV - Rechnerstrukturen [104056]
• V/Ü: Rechnerstrukturen [104060]
• V/Ü: Eingebettete Systeme [104058]
  (in cooperation with Julius Adelt)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104059]
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [104057]
  (in cooperation with Timm Liebrenz)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [104084]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Christian Beecks, Markus Müller-Olm, Dietmar Lammers, Christian Scheffer, Jan Vahrenhold, Benjamin Risse and Ludger Becker)
• Colloquium: Informatik-Kolloquium [104091]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Xiaoyi Jiang, Christian Beecks, Anne Remke, Christian Scheffer, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2020/21

• V/Ü: Sicherheit in Eingebetteten Systemen [102062]
  (in cooperation with Timm Liebrenz)
• Project seminar: Projektseminar: Entwurf eingebetteter Systeme [102061]
  (in cooperation with Timm Liebrenz and Julius Adelt)
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102060]
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [102085]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Anne Remke, Christian Beecks, Markus Müller-Olm, Dietmar Lammers, Christian Scheffer, Jan Vahrenhold, Benjamin Risse and Ludger Becker)
• Colloquium: Informatik-Kolloquium [102088]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Xiaoyi Jiang, Anne Remke, Christian Beecks, Markus Müller-Olm, Christian Scheffer and Jan Vahrenhold)

Summer Term 2020

• Lecture: Informatik IV - Rechnerstrukturen [100061]
• V/Ü: Rechnerstrukturen [100064]
• V/Ü: Eingebettete Systeme [100063]
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100058]
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [100062]
  (in cooperation with Timm Liebrenz and Phil Steinhorst)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [100087]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Ludger Becker, Anne Remke, Christian Beecks, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold and Benjamin Risse)
• Colloquium: Informatik-Kolloquium [100120]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Xiaoyi Jiang, Christian Beecks, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2019/20

• Lecture: Qualitätsorientierter Entwurf eingebetteter Systeme [108062]
• Project seminar: Projektseminar: Entwurf eingebetteter Systeme [108060]
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108059]
• Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [108063]
  (in cooperation with )
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [108116]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Ludger Becker, Anne Remke, Christian Beecks, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold and Benjamin Risse)
• Colloquium: Informatik-Kolloquium [108117]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Xiaoyi Jiang, Anne Remke, Christian Beecks, Markus Müller-Olm and Jan Vahrenhold)

Summer Term 2019

• Lecture: Informatik IV - Rechnerstrukturen [106056]
• V/Ü: Rechnerstrukturen [106067]
• V/Ü: Eingebettete Systeme [106066]
• Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106065]
• Practice: Übungen zu Informatik IV - Rechnerstrukturen [106057]
  (in cooperation with and Phil Steinhorst)
• Introduction to academic work: Betreuung von Abschlussarbeiten der Informatik [106063]
  (in cooperation with Sergei Gorlatch, , Xiaoyi Jiang, Ludger Becker, Anne Remke, Christian Beecks, Markus Müller-Olm, Dietmar Lammers, Jan Vahrenhold and Benjamin Risse)
• Colloquium: Informatik-Kolloquium [106116]
  (in cooperation with Sergei Gorlatch, , Benjamin Risse, Xiaoyi Jiang, Christian Beecks, Anne Remke, Markus Müller-Olm and Jan Vahrenhold)

Winter Term 2018/19

• Project seminar: Entwurf eingebetteter Systeme [104062]