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.