KIT - Karlsruher Institut für Technologie
Test, Validierung und Analyse Software-intensiver Systeme
  • Navigation überspringen
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT
  • en
suchen
  • Forschung
    • Forschung
    Forschung
    • Correctness-by-Construction (CbC)
    • ProvideQ
    • QuBRA
    • Szenario-basiertes Testen
    • EasyUp
  • Lehrveranstaltungen
    • Lehrveranstaltungen
    Lehrveranstaltungen
    • Übersicht
    • Kurse
      • Kurse
      Kurse
      • Sommersemester 2023
      • Wintersemester 2022/23
      • Sommersemester 2022
    • Abschlussarbeiten
  • Team
  • Offene Stellen
  • Aktivitäten
    • Aktivitäten
    Aktivitäten
    • IFIP Working Group on Foundations of Quantum Computation
    • WAKERS 2023
  • Startseite
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • suchen
Test, Validierung und Analyse Software-intensiver Systeme

 

  • Startseite
  • Team

 

  • Startseite
    • Forschung
    • Lehrveranstaltungen
    • Team
    • Offene Stellen
    • Aktivitäten
  • Team
Leitung
Portrait Titel Name E-Mail Tel. Raum
KIT
Prof. Dr.-Ing. Schaefer, Ina ina schaefer ∂does-not-exist.kit edu   CS 50.34 369
Sekretariat
Portrait Titel Name E-Mail Tel. Raum
Fachwirt Ufer, Petra petra ufer ∂does-not-exist.kit edu +49 721 608-45351 CS 50.34 368
Wissenschaftliche Mitarbeitende
Portrait Titel Name E-Mail Tel. Raum
Joshua Ammermann
M. Sc. Ammermann, Joshua joshua ammermann ∂does-not-exist.kit edu   CS 50.34 355
M. Sc. Bittner, Tim tim bittner ∂does-not-exist.kit edu   CS 50.34 355
Tabea Bordis
M. Sc. Bordis, Tabea tabea bordis ∂does-not-exist.kit edu   CS 50.34 358
Domenik Eichhorn
M. Sc. Eichhorn, Domenik eichhorn ∂does-not-exist.kit edu   CS 50.34 354
M. Sc. Güthing, Lukas lukas guething ∂does-not-exist.kit edu   50.34 356.1
Dr.-Ing. Kittelmann, Alexander alexander kittelmann ∂does-not-exist.kit edu   CS 50.34 358