JOHN LAUNCHBURY is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery. Launchbury received first-class honors in mathematics from Oxford University in 1985, and an M.Sc. in computation in 1986. He holds a Ph.D. in computing science from the University of Glasgow.

RAY RICHARDS joined DARPA in January 2016. Dr. Richards joined from Rockwell Collins Advanced Technology Center (ATC) where he led a research group focused on automated analysis, cyber, and information assurance. In this role he helped foster the industrial use of formal methods verification to support security accreditations. His research interests focus on high assurance software and systems. Dr. Richards holds Master of Business Administration, Doctor of Philosophy and Master of Science degrees in electrical and computer engineering, as well as a Bachelor of Science degree in electrical engineering, all from the University of Iowa. He has nine publications in the area of formal methods/software security analysis and one patent.

KATHLEEN FISHER, DARPA 
HELEN GIL, National Security Agency 
BRAD MARTIN, National Security Agency

BILL SCHERLIS, Carnegie Mellon University 
FRANK SEATON TAYLOR, National Security Agency 
TIM THIMMESCH, National Security Agency