Curriculum Vitae

Florian Lercher joined the Cyber Physical Systems Group as a research assistant and PhD student under the supervision of Prof. Dr.-Ing. Matthias Althoff in April 2023. 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.

Offered Thesis Topics

I am always looking for self-motivated students to solve interesting problems arising in my research areas. If you are interested in one of the currently available topics, simply send me an e-mail with your up-to-date CV and transcript of records attached. You are welcome to propose thesis topics of your own!

Currently available:

Just send me an e-mail

• [BT/GR] - A Bitvector Encoding for Satisfiability Checking of Temporal Logic

Ongoing:

• [MT] - Deep Inverse Reinforcement Learning for Driving Corridor Extraction (co-supervised with Tobias Mascetta)

Finished:

• [BT] - SAT-based Refinement Guidance for the Formal Verification of Hybrid Systems
• [MT] - A Pipeline for Specification-Compliant Motion Planning Using Reachability Analysis
• [MT] - On-the-Fly Extraction of Driving Corridors Using Heuristic-Based Search
• [BT] - Situation-Aware Simplification of Temporal Logic Specifications for Autonomous Vehicles

Teaching

• Lecture - Fundamentals of Artificial Intelligence
  • Propositional logic and first-order logic (WS 2023/24, WS 2024/25)
• Practical course - Verification, Controller Synthesis, and Design of Cyber-Physical System
  • Traffic rule predicates for specification-compliant reachability analysis (WS 2023/24, SS 2024)
• Practical course - Formal Methods for AI-Enabled Cyber-Physical Systems
  • Traffic rule predicates for specification-compliant reachability analysis (SS 2025)
• Seminar - Cyber-Physical Systems
  • Quantitative monitoring of signal temporal logic (SS 2024)
  • Temporal logic simplification (WS 2024/25)
  • Signal temporal logic verification of hybrid systems (SS 2025)