Galois applies formal methods and functional programming to build trust in critical systems used in aerospace, defense, government, fintech, and healthcare. Its work focuses on proving software and hardware behave correctly through mathematical proofs, not just tests, using tools like Cryptol for cryptographic specifications and SAW for verification. The company translates research into real-world technology for agencies and industry partners and spins out specialized companies to commercialize its innovations, while remaining employee-owned. Its goal is to deliver verifiable, high-assurance software and hardware for safety- and mission-critical applications.
Company Size
51-200
Company Stage
N/A
Total Funding
$109.4M
Headquarters
Portland, Oregon
Founded
1999
See people who can refer or advise you
Help us improve and share your feedback! Did you find this helpful?