Scholar
André Platzer
Google Scholar ID: Y80iWtgAAAAJ
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Citations & Impact
Citations
4,101
H-index
33
i10-index
90
Publications
20
Co-authors
78
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Awards: Dr. Katherine Kosaian received the Bill McCune PhD Award in Automated Reasoning 2024; Dr. Yong Kiam Tan received the CMU School of Computer Science Distinguished Dissertation Award 2022; Alexander von Humboldt Professorship for AI 2023: KIT, CMU.
Research Experience
- Current Position: Alexander von Humboldt Professor at Karlsruhe Institute of Technology; Former Position: Founder of the Logical Systems Lab at Carnegie Mellon University.
Background
- Research Interests: Logic of Dynamical Systems, Logic of Autonomous Dynamical Systems, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods. Profile: He is the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology and the founder of the Logical Systems Lab at Carnegie Mellon University. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.
Miscellany
- Personal Interest: Improving the safety of cyber-physical systems.
