Updated:
Galois Capital
Galois uses formal methods and mathematical verification to build trusted systems for defense, fintech, and critical infrastructure.
Galois Capital
Galois Capital was one of the premier market making companies in the digital asset sector from 2017 to 2022.
General information
Firm type
other
Year founded
—
AUM
Undisclosed
Location
Region
North America
Country
United States
City
San Francisco
Corporate office
San Francisco, CA, United States
Additional offices
Beijing · Palo Alto
Principals
John Launchbury
Chief Scientist
Daniel Boyer
Chief Financial Officer
Sector focus
Frequently asked questions
Does Galois operate as a venture capital firm or family office?
No. Galois is an employee-owned research and engineering services firm, not a venture capital firm or family office. It develops formally verified software for defense, fintech, and critical infrastructure clients and does not manage third-party capital.
Who leads Galois's technical direction?
The Chief Scientist is John Launchbury. He leads the research team of over 80 computer scientists, cryptographers, and engineers. Daniel Boyer serves as Chief Financial Officer. The firm does not list a CEO or managing partner on its team page.
How does Galois source projects and clients?
Galois typically works under government contracts with agencies such as DARPA, NASA, the US Army, Navy, Air Force, and IARPA, as well as commercial partners like Amazon Web Services. Its process is based on responding to problem statements that require formal verification or high-assurance engineering.
What sectors does Galois target?
Galois focuses on aerospace & defense, automotive, critical systems, fintech, healthcare, semiconductors, and enterprise IT. These are sectors where software failure is unacceptable due to safety or security consequences.
Is Galois part of a larger conglomerate or university?
No. Galois is an independent, employee-owned company founded over 25 years ago. It is not affiliated with any university or publicly traded parent company. Its ownership structure is unique among defense contractors.
Profile maintained by Altss using OSINT (open-source intelligence), regulatory filings, licensed data partners, and verified direct submissions. Read the methodology. Last updated: . Continuous refresh with full update cycles at least every 30 days.
Need institutional-grade insight on investors?
Altss delivers:
Prefer a guided tour?
We’ll walk you through: