History

Founded in 1999, Galois began life with the mission of supplying functional programming services, building tools and products for clients by leveraging the incredible power of functional languages. Taking an entrepreneurial leave from academia, Galois’ founder and Chief Scientist John Launchbury, along with co-founders Andy Adams-Moran, Jeff Lewis, and Andy Gill, envisioned a company which brought together mathematicians, researchers, and engineers to apply computer science to complex government and industry problems.

Although our business focus has evolved, Galois is still driven by our belief in the potential for software innovation through the use of advances in language design, formal methods, and systems modeling. Galois now concentrates its engineering efforts on information assurance challenges facing the government defense and intelligence communities by developing trusted technologies for security-critical systems with dual application to the commercial sector.

Our Name

Évariste Galois (pronounced GAL-wah, 1811-1832) possessed a remarkable genius for mathematics. Among his many contributions, Galois founded abstract algebra and group theory, which are fundamental to computer science, physics, coding theory, and cryptography. Our approach to solving challenging software problems is reflective of Galois’ way of solving mathematical problems. We employ processes that rework clients’ software problems to develop an array of possible solutions not traditionally available via other methods.

Now for some trivia to impress your friends and family… Galois’ contributions are even more remarkable in light of the fact that many were captured as hastily scribbled notes on the eve of his untimely death in a duel.