Ann-Therese Nägele, M. Sc.

Ann-Therese Nägele, M. Sc.

  • 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

Publications