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
| Title | Starting date |
|---|---|
| HiWi for Exercise in SSE | ab 02 / 2024 |
| CI/CD Pipeline for Robotics Services | ab 02 / 2024 |
| Development of plug and play architectures for highly networked, automated vehicles | ab 09/ 2022 |
| DevOps HiWi | ab 04 / 2023 |