• Lehre

    • Übung: Übungen zu Informatik IV - Rechnerstrukturen [102094]
      (zusammen mit Jonas Becker, Dr. Dietmar Lammers)
      [ - | | wöchentlich | Do. | SRZ 202 | Pauline Blohm]
      [ - | | wöchentlich | Do. | M B 5 (M 5) | Pauline Blohm]
      [ - | | wöchentlich | Fr. | M A 111 (SR 1C) | Pauline Blohm]
      [ - | | wöchentlich | Fr. | M A 109 (SR 1B) | Pauline Blohm]
      [ - | | wöchentlich | Fr. | M A 111 (SR 1C) | Pauline Blohm]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker, Julius Adelt)
      [ - | | wöchentlich | Mo. | SRZ 202 | Prof. Dr. Paula Herber]
    • Projektseminar: Titel folgt [102068]
      (zusammen mit Prof. Dr. Anne Remke)
      [ - | | Blockveranstaltung (Mo-Fr) | SRZ 114a | Prof. Dr. Anne Remke]

    • Seminar: Seminar Safe & Secure Embedded Systems [100063]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker, Julius Adelt)
      [ - | M A 109 (SR 1B) | Pauline Blohm]
      [ - | M A 503 (SR 5) | Pauline Blohm]
      [ - | M A 114 (SR 1D) | Pauline Blohm]
      [ - | M A 503 (SR 5) | Pauline Blohm]
      [Pauline Blohm]
    • V/Ü: Quantitatives Model Checking [100092]
      (zusammen mit Prof. Dr. Anne Remke, Mathis Niehage)
      [ - | | wöchentlich | Mo. | M B 6 (M 6) | Mathis Niehage]
      [ - | | wöchentlich | Do. | M B 6 (M 6) | Mathis Niehage]