Laura Lützow

Laura Lützow is a Researcher at the Technical University of Munich (TUM), affiliated with the Faculty of Informatics and the Cyber Physical Systems group. She earned her bachelor's degree in Mechatronics from TU Ilmenau (2020) and a master's degree in Robotics, Cognition, and Intelligence from TUM (2022). Her work focuses on enhancing the safety and reliability of autonomous systems through set-based system identification, uncertainty quantification, and conformance checking.

• B.Sc. in Mechatronics, TU Ilmenau (2020)
• M.Sc. in Robotics, Cognition, and Intelligence, TUM (2022)

Laura's research emphasizes formal methods for analyzing and improving the safety of autonomous systems. Her work includes developing mathematical frameworks for reachability analysis and uncertainty quantification, particularly in dynamic environments with complex constraints.

Laura's publications highlight advancements in reachability analysis, system identification, and uncertainty quantification. Key themes include conformal prediction for autonomous systems, zonotope reduction techniques, and motion planning under dynamic obstacles. Her work bridges theoretical control systems research with practical applications in robotics and AI safety.

She has taught courses on verification, controller synthesis, formal methods, and fundamentals of artificial intelligence at TUM. Additionally, she was a visiting researcher at Stanford University's Intelligent Systems Laboratory (January-July 2025).