KIT - Karlsruher Institut für Technologie
Test, Validierung und Analyse Software-intensiver Systeme
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
suchen
suchen
Forschung
Start
Forschung
Forschung
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Lehrveranstaltungen
Start
Lehrveranstaltungen
Lehrveranstaltungen
Übersicht
Kurse
Start
Lehrveranstaltungen
Kurse
Kurse
Wintersemester 2025/26
Sommersemester 2025
Wintersemester 2024/25
Sommersemester 2024
Wintersemester 2023/24
Sommersemester 2023
Wintersemester 2022/23
Sommersemester 2022
Abschlussarbeiten
Team
Start
Team
Team
Alumni
Offene Stellen
Aktivitäten
Start
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
suchen
Test, Validierung und Analyse Software-intensiver Systeme
Startseite
Team
Startseite
Forschung
Lehrveranstaltungen
Team
Offene Stellen
Aktivitäten
Team
Alumni
Dr. rer. nat.
Anna
Schmitt
Wissenschaftliche Mitarbeiterin
Raum:
355
CS 50.34
anna schmitt
∂
does-not-exist.
kit edu
ORCID
Am Fasanengarten 5
76131 Karlsruhe
