André Platzer

André Platzer is the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at the Karlsruhe Institute of Technology (KIT) and the founder of the Logical Systems Lab at Carnegie Mellon University. His research focuses on the logical foundations of cyber-physical systems (CPS), aiming to ensure their safety through rigorous formal methods and theorem proving. He leads the Institute for Reliability of Autonomous Dynamical Systems at KIT.

Education:

• Ph.D. (summa cum laude), Computer Science, University of Oldenburg (2008)
• Master's (equiv. to MSc), Computer Science & Mathematics, Karlsruhe Institute of Technology (2004)
• Bachelor's, Computer Science & Mathematics, Karlsruhe Institute of Technology (2001)

Research Interests:

• Logic of Dynamical Systems
• Cyber-Physical Systems
• Formal Methods & Theorem Proving
• Programming Languages
• Automated Reasoning

His work develops differential dynamic logic and tools like KeYmaera X to verify safety-critical systems in transportation and robotics. Recent advancements include adaptive shielding for neural networks and verified collision avoidance algorithms.

Scientific Awards:

• Alexander von Humboldt Professorship (2023)
• NSF CAREER Award (2011)
• ACM Doctoral Dissertation Honorable Mention (2009)
• Popular Science's Brilliant 10 Young Scientists (2009)

Advising & Grants: Supervised PhD students include Katherine Kosaian, Yong Kiam Tan, Rose Bohrer, and Sarah Loos. Active grants include DFG SFB Convide and KiKIT Kerninformatik. His research collaborates with industry (e.g., Bosch, Siemens) to improve CPS safety.

Labs & Teams: Leads the Logical Systems Lab at CMU and the Institute for Reliability of Autonomous Dynamical Systems at KIT. Key projects include formal verification frameworks for aviation and railway systems.