Florian Lercher

Florian Lercher is a Researcher at the Department of Cyber Physical Systems at the Technical University of Munich (TUM). He joined the group led by Prof. Matthias Althoff in April 2023 as a PhD student and research assistant. His work focuses on motion planning for autonomous vehicles, particularly integrating reachability analysis and temporal logic for specification-compliant driving corridors.

• Education: B.Sc. in Informatics (TUM, 2020), M.Sc. in Software Engineering (TUM, LMU Munich, and University of Augsburg, 2022)
• Research: Traffic rule-compliant motion planning, hybrid systems verification, and formal methods in autonomous driving
• Teaching: Lectures and practical courses on AI fundamentals and formal methods for cyber-physical systems

His recent publications emphasize efficient driving corridor extraction, temporal logic simplification, and model checking for hybrid systems. He actively supervises student theses on topics like SAT-based refinement guidance and inverse reinforcement learning for autonomous vehicles.