Andre Platzer is an Assistant Professor in the Computer Science Department at Carnegie Mellon. Dr. Platzer developed the theory, practice, and applications of logical analysis and verification of hybrid systems, and he proved the very first completeness theorem for hybrid systems. He introduced compositional verification techniques and methods that can verify hybrid systems without solving their differential equations (called differential invariants). In addition, he led the development of the first theorem proven for hybrid systems (KeYmaera) and he has worked on verification of aircraft, railway, and car control systems. In recent work, André Platzer has introduced the first formal verification approach for distributed hybrid systems, in which participants can appear and disappear dynamically while the system follows its hybrid dynamics. For more on Andre, click here.
Current Projects:
Security for reasoning for distributed systems with uncertainties