John Launchbury

John Launchbury built his first career at the edge of computer science. He trained in mathematics at Oxford, earned a doctorate at Glasgow, helped shape the Haskell programming language, and then in the USA went on to found Galois, and later direct a technical office at DARPA. He was elected a Fellow of the Association for Computing Machinery in 2010. In 2026 he added a very different credential, a Master's in Theology from George Fox University. That degree formalized a long-standing habit of serious Biblical study. In both computer science and theology, Launchbury focuses on identifying the essential core, so that the complex becomes simple without losing the fundamental truths and insights.