معرفی
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.
