Greg Sullivan is Chief Scientist and co-founder of Dover Microsystems. In his role, he is focused on applying basic research from the areas of cybersecurity, formal methods, and programming languages to the practical concerns of real-world products. Since receiving his Ph.D. from Northeastern University, focusing on the formal semantics of programming languages, Greg has been engaged in research in cybersecurity, programming languages, formal methods, self-adaptive software, software engineering, machine learning, and AI planning. Greg has been Principal Investigator on a wide range of DARPA-funded projects, including the CRASH SAFE project which generated some of the core ideas upon which the CoreGuard architecture is based.
