Dr. John Launchbury Founder & Chief Scientist Galois, Inc.

John Launchbury is an American and British computer scientist who is founder and Chief Scientist of Galois, Inc., and (more recently) founder and CTO of Tangram Flex, a company dedicated to aid system developers work with component-based open architectures. Previously, Launchbury directed DARPA’s Information Innovation Office, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. John’s technical focus is to leverage mathematical techniques to bring trustworthiness to critical systems. He graduated Oxford with a First in Mathematics, and moved to Glasgow for a PhD in Computer Science, where his thesis won the British Distinguished Dissertation award. Dr Launchbury is a contributing designer of the Haskell programming language and a Fellow of the ACM.

Presenting at:

All times are presented in the host university’s local time zone.

Tuesday, September 13, 2022

Winning at Cyber
(1:30pm - 1:35pm)

Tuesday, October 4, 2022

Winning at Cyber
(3:30pm - 3:35pm)

You are now leaving the website that is under the control and management of DARPA. The appearance of hyperlinks does not constitute endorsement by DARPA of non-U.S. Government sites or the information, products, or services contained therein. Although DARPA may or may not use these sites as additional distribution channels for Department of Defense information, it does not exercise editorial control over all of the information that you may find at these locations. Such links are provided consistent with the stated purpose of this website.

After reading this message, click  to continue immediately.

Go Back