Scott Moore

Principal Scientist

My research focuses on programming language techniques and formal methods that help programmers write safe, correct, and understandable software.


Dr. Moore earned his Ph.D. in computer science from Harvard University, where he studied with Stephen Chong. His thesis work investigates how to use software contracts to specify and enforce security properties that are composable and easy to understand. He has also worked extensively on static and dynamic techniques for enforcing information-flow security policies.

Before starting his Ph.D. studies, Scott worked for the Defense Information Systems Agency, where he participated in DoD and NIST security architecture and standards working groups and helped deploy a DoD-wide endpoint security program. He completed his B.S. and M.S. in computer science at the University of Texas at Dallas.