معرفی
André Platzer is an Alexander von Humboldt Professor at the Karlsruhe Institute of Technology (KIT), where he leads the Institute for Reliability of Autonomous Dynamical Systems. He previously founded the Logical Systems Lab at Carnegie Mellon University (CMU) and held full professorships there from 2008 to 2022. His work focuses on developing logics for cyber-physical systems (CPS) to ensure safety-critical interactions between computers and physical processes.
- Education
- Ph.D. in Computer Science, University of Oldenburg (2008)
- Diploma (M.Sc.) in Computer Science and Mathematics, Karlsruhe Institute of Technology (2004)
Research interests include Logic of Dynamical Systems, Differential Dynamic Logic, and Formal Methods. His groundbreaking work on CPS verification has led to the development of tools like KeYmaera X, applied in transportation and medical robotics. He has pioneered logics for hybrid systems, games, and stochastic processes.
- Scientific Awards
- Alexander von Humboldt Professorship for AI (2023)
- NSF CAREER Award (2011)
- IEEE Intelligent Systems' AI's 10 to Watch (2010)
- ACM Doctoral Dissertation Honorable Mention (2009)
- Popular Science's Brilliant 10 (2009)
- Best Paper Awards at TABLEAUX 2007, FM 2009, FM 2019, and HSCC 2022
Labs & Teams: Founded the Logical Systems Lab at CMU and leads the Institute for Reliability of Autonomous Dynamical Systems at KIT.
