Ann-Therese Nägele, M. Sc.
- Wissenschaftliche Mitarbeiterin
- Group: Prof. Sax
- Room: 115
CS 30.10 - Phone: +49 721 608-48248
- ann-therese naegele ∂does-not-exist.kit edu
- Engesserstr. 5
76131 Karlsruhe
M. Sc. Ann-Therese Nägele
CV
- Bachelor in Mechatronics and Information Technology at KIT
- Graduated in September 2018
- Thesis Title: „Framework for test case classification for highly automated driving functions“
- Master in Electrical Engineering and Information Technology at KIT
- Graduated in July 2021
- Thesis Title: „Investigation of machine learning approaches for error detection in the control flow based on bus snooping“
Research Interests
- ML-supported Requirements Engineering
- Formal verification of cyber physical systems via Contract-Based Design
- Continuous Testing of Robotics Services
| Titel | Typ |
|---|---|
| Data-driven safety specification using Large Language Models | Masterarbeit |
| Development of plug and play architectures for highly networked, automated vehicles |