|Prof. Dr. André Platzer|
|Weiter zur Webseite am 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.