John Launchbury


I founded Galois in 1999 to address challenges in building trustworthy systems through the application of the science of computing, particularly through formal methods. I am currently pursuing the same agenda as a program manager at DARPA via an IPA from Willamette University.


John has variously served the company as CEO, Chief Scientist, and Chair of the Board of Directors. Under his leadership, the company has grown, successfully winning and delivering on multiple contract awards, and advanced in intellectual and engineering stature.

Prior to founding Galois, John was a full professor in Computer Science and Engineering at the Oregon Graduate Institute School of Science and Engineering at OHSU. His instruction style earned him several awards for outstanding teaching, and he is internationally recognized for his work on the analysis and semantics of programming languages,  on the Haskell programming language in particular.

John received First Class Honors in Mathematics from Oxford University in 1985. He holds a Ph.D. in Computing Science from University of Glasgow and won the British Computer Society’s distinguished dissertation prize. In 2010, John was inducted as a Fellow of the Association for Computing Machinery (ACM).