ID2015 - 1:40p - Jackson - Expedition on Safe Cyber Physical Systems
Dr. Ethan Jackson is a Researcher within the Software Engineering (RiSE) Group at Microsoft Research focusing on formal methods for cyber physical systems. His is the creator of the FORMULA system for formalizing modeling languages and enabling formal analysis of complex software, which has been used in large academic and industrial settings. He is also co-creator of the P programming language which allows developers to specify complex systems of communicating asynchronous components, and has been used to design critical components of Windows. Ethan leads a Microsoft Research Expedition focusing on safe and robust autonomous systems, and has been exploring CPS for disease surveillance. Ethan joined Microsoft Research 2007 after receiving his PhD from Vanderbilt University in Computer Science.