Galois

Galois, Inc. is a technology research firm based in Portland, Oregon, founded in 1999 by John Launchbury. The company focuses on high-assurance solutions that enhance security, reliability, and operational efficiency. In June 2023, Galois transitioned to 100% employee ownership through an Employee Stock Ownership Plan (ESOP), highlighting its commitment to employee involvement. Galois specializes in functional programming and formal methods to tackle information assurance challenges. A key product is Cryptol, a domain-specific language for specifying and verifying cryptographic implementations, initially developed for the National Security Agency. The company also creates innovative technologies and has spun out several companies, including Tangramflex, Tozny, and MuseDev, to commercialize its research. Galois collaborates with government agencies and partners to address technological challenges and contribute to the development of new technologies through research and educational initiatives.