KIT - Karlsruhe Institute of Technology image/svg+xml
Test, Validation and Analysis of Software-Intensive Systems
  • skip navigation
  • Home
  • Legals
  • Data Protection
  • Accessibility
  • Sitemap
  • KIT
  • de
search
  • Research
    • Research
    Research
    • Correctness-by-Construction (CbC)
    • ProvideQ
    • QuBRA
    • Szenario-basiertes Testen
    • EasyUp
  • Teaching
    • Teaching
    Teaching
    • Overview
    • Courses
      • Courses
      Courses
      • Winter term 2023/24
      • Summer term 2023
      • Winter term 2022/23
      • Summer term 2022
    • Theses
  • Team
    • Team
    Team
    • Alumni
  • Open Positions
  • Activities
    • Activities
    Activities
    • Quantum Software Engineering MeetUp 2024
    • IFIP Working Group on Foundations of Quantum Computation
    • WAKERS 2023
  • Startpage
  • Home
  • Legals
  • Data Protection
  • Accessibility
  • Sitemap
  • search
Test, Validation and Analysis of Software-Intensive Systems

 

  • Startpage
  • Team

 

  • Home
    • Research
    • Teaching
    • Team
    • Open Positions
    • Activities
  • Team
    • Alumni
Head
Portrait Title Name E-Mail Phone Room
KIT
Prof. Dr.-Ing. Schaefer, Ina ina schaefer ∂does-not-exist.kit edu   CS 50.34 369
Office
Portrait Title Name E-Mail Phone Room
Business management specialist Ufer, Petra petra ufer ∂does-not-exist.kit edu +49 721 608-45351 CS 50.34 368
Research assistants
Portrait Title Name E-Mail Phone Room
Joshua Ammermann
M. Sc. Ammermann, Joshua joshua ammermann ∂does-not-exist.kit edu   CS 50.34 355
  Birkemeyer, Lukas lukas birkemeyer ∂does-not-exist.kit edu    
M. Sc. Bittner, Tim tim bittner ∂does-not-exist.kit edu +49 721 608-47344 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