Florian Lercher
Florian Lercher is currently a research assistant and Ph.D. student in the Cyber Physical Systems Group at Technical University of Munich. He received his Bachelor’s degree in Informatics from the Technical University of Munich in 2020 and his Master’s degree in Software Engineering from the University of Augsburg, the Technical University of Munich, and Ludwig-Maximilians-Universität Munich in 2022. His research revolves around the application of temporal logic to cyber-physical systems. In particular, he focuses on traffic rule-compliant motion planning for autonomous vehicles and the formal verification of continuous and hybrid systems.
In the Zardini Lab, he is investigating the rule-compliant motion planning problem for autonomous surface vessels.
Awards
- Member of the Elite Network of Bavaria