Prof. Platzer's interests include logical foundations of cyber-physical systems, hybrid systems, distributed hybrid systems, stochastic hybrid systems, logic in computer science, automated theorem proving, model checking, and symbolic and numerical computation. Dr. Platzer developed the theory, practice, and applications of logic-based verification of hybrid systems, and he proved the first completeness theorem for hybrid systems. He introduced compositional verification techniques and the technique of differential invariant that can verify hybrid systems without solving their differential equations. In addition, he led the development of the first theorem prover for hybrid systems (KeYmaera) and he has verified aircraft, train control, and car control systems.