معرفی
André Platzer is a Professor at the Karlsruhe Institute of Technology (KIT), where he leads the Institute for Reliability of Autonomous Dynamical Systems. His research focuses on ensuring the safety of cyber-physical systems (CPS) through formal verification methods.
- Developed differential dynamic logic for analyzing CPS safety
- Created the open-source verification tool KeYmaera X, used in transportation and medical robotics
- Collaborated with Bosch, Siemens, and Toyota on industrial applications
His work bridges formal methods with real-world safety-critical systems. Scientific honors include Humboldt Fellow and DFG Mercator Fellow distinctions.
۰مقاله منتشرشده
