Prof. Dr. André Platzer
Research Areas:
  • Cyber-physical Systems
  • Practical Theorem Proving Tools

André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology and a Professor of Computer Science 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.