Andre Platzer

Andre Platzer is a computer scientist who is a professor at both Carnegie Mellon and the Karlsruhe Institute of Technology. Platzer is a leading researcher in differential dynamic logic and [[cyber-physical systems]]. He has helped to create software like KeYmaera X.

He has also written a book, called "Logical Foundations of Cyber-Physical Systems." Manyu worked with KeYmaera X some and was inspired by his work.