John Launchbury
Chief Technology Officer at Tangram Flex
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolJohn Launchbury is a distinguished technology leader and dual-national computer scientist who has spent over two decades translating formal research into practical, trustworthy systems. As founder and CTO of Tangram Flex and Chief Scientist at Galois, he focuses on improving the security and safety of cyber-physical and open-architecture systems while aligning government and industry priorities. Previously as DARPA’s Information Innovation Office director he shaped nation-scale R&D in cybersecurity, data analysis, and AI, guiding high-impact programs from concept to deployment. Trained at Oxford and Glasgow, his career bridges academia, startup leadership, and federal research management, uniquely blending formal methods with pragmatic engineering. Based in Portland, Oregon, he combines entrepreneurial drive with policy-level influence, often aiming to harden systems by redesign rather than merely detect threats.
16 years of coding experience
18 years of employment as a software developer
Master’s Degree Computation, Master’s Degree Computation at University of OxfordPhD Computing Science, PhD Computing Science at University of Glasgow
Stackoverflow
11reputation
1kreached
0answers
1question
Github Skills (11)
serena7
homebridge6
msword6
mail-merge6
regex6
switcher5
homekit5
siri4
ad-hoc3
monads1
scala1
Programming languages (2)
Github contributions (4)
GaloisInc/pads-haskell
May 2011 - May 2011
Contributions:64 commits in 15 days
domainhocdomain-specificad-hocdomain-specific-language
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.