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 2025
      • Wintersemester 2024/25
      • Sommersemester 2024
      • Wintersemester 2023/24
      • Sommersemester 2023
      • Wintersemester 2022/23
      • Sommersemester 2022
    • Abschlussarbeiten
  • Team
    • Team
    Team
    • Alumni
  • Offene Stellen
  • Aktivitäten
    • Aktivitäten
    Aktivitäten
    • KASTEL Scientific Evaluation 2025
    • Quantum Software Engineering MeetUp 2025
    • Priority Programme 2514: Quantum Software, Algorithms and Systems
    • Quantum Software Engineering MeetUp 2024
    • 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
    • Alumni
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
Tim Bächle
M. Sc. Bächle, Tim tim baechle ∂does-not-exist.kit edu   CS 50.34 351
  Birkemeyer, Lukas lukas birkemeyer ∂does-not-exist.kit edu    
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 354
M. Sc. Harter, Morten morten harter ∂does-not-exist.kit edu   CS 50.34 351
Dr. rer. nat. Heydari Tabar, Asmae asmae heydari-tabar ∂does-not-exist.kit edu    
M.Sc Kelmendi, Rinor rinor kelmendi ∂does-not-exist.kit edu   CS 50.34 351
  Kodetzki, Maximilian maximilian kodetzki ∂does-not-exist.kit edu   CS 50.34
  M. Sc. König, Christoph christoph koenig ∂does-not-exist.kit edu   CS 50.34 352
Master of Science Informatik Neumann, Dirk     CS 50.34 356.1
  M. Sc. Informatik Ochs, Philip philip ochs ∂does-not-exist.kit edu   CS 50.34 356.1
KIT
M.Sc. Informatik Pett, Tobias tobias pett ∂does-not-exist.kit edu   CS 50.34 356.1
M.Sc. Ronneberg, Rasmus Carl rasmus ronneberg ∂does-not-exist.kit edu   CS 50.34 352
Externe
Portrait Titel Name E-Mail Tel. Raum
M. Sc. Kieneke, Anne anne kieneke ∂does-not-exist.partner kit edu    
letzte Änderung: 03.02.2025
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT