André Platzer

André Platzer is a Professor at Karlsruhe Institute of Technology (KIT), holding the Alexander von Humboldt Professorship for Logic of Autonomous Dynamical Systems. He previously served as an Associate Professor and later as a full professor at Carnegie Mellon University (CMU), where he founded the Logical Systems Lab. His research focuses on the logical foundations of cyber-physical systems (CPS), aiming to ensure safety-critical computer control of physical processes through formal verification and programming language design.

Education

• Ph.D. in Computer Science, University of Oldenburg, Germany

Platzer's research interests center on logic-based verification of cyber-physical systems, hybrid systems, and programming languages. His work develops differential dynamic logic and tools like KeYmaera X to mathematically prove safety in autonomous systems, impacting areas such as transportation and medical robotics.

Publication Trends: His recent work emphasizes invariant generation, formal verification of reinforcement learning, and quantifier elimination in Isabelle/HOL, aligning with his focus on mathematical guarantees for CPS safety.

Awards

• ACM Doctoral Dissertation Honorable Mention
• NSF CAREER Award
• Popular Science Brilliant 10 Young Scientist
• IEEE Intelligent Systems AI's 10 to Watch

Students: His advisees include award-winning researchers like Yong Kiam Tan (CMU Distinguished Dissertation Award), Katherine Kosaian (Bill McCune PhD Award), and Sarah Loos (CMU Honorable Mention).

Labs: Founded the Logical Systems Lab at CMU and leads reliability research at KIT's Institute for the Reliability of Autonomous Dynamical Systems.