About

Dr. Ethan Jackson is a researcher in The Research in Software Engineering (RiSE) Group at Microsoft Research focusing on formal methods for safe cyber-physical systems (CPS). He asks: "How can we engineer safer autonomous systems, and are there autonomous systems that make us safer?".

He leads Project Premonition, an advanced research program which aims to detect the movements of potential pathogens in the environment, before they cause outbreaks in humans. This system employs drones, robotic mosquito traps, and metagenomics to find, collect, and analyze mosquitoes for both known and unknown viruses. It also collects big data on mosquito behavior to better inform epidemiological models and public health organizations. This project is part of the Microsoft Research Expeditions Program.

Ethan 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 the 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 Microsoft Windows.

Ethan joined Microsoft Research 2007 after receiving his PhD from Vanderbilt University in Computer Science.

Projects

Publications

Videos