![]() |
Prof. Dr. André Platzer |
Research Areas:
|
|
Go to Website at KIT |
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.