“Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable”In its own words: galois.com
Employee-owned company developing formal methods and high-assurance software and hardware, including work on trust in the correctness and safety of critical AI/ML systems.
Show detailsHide details
Received $4.3M from 1 funder
Checked 25 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $4.3M, newest first.
2025 1 grant · $4.3M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 28 Jul 2025 | Advanced Research + Invention Agency | $4.3M | Mathematics for Safe AI (contract, 8 months; £177,006, amended 08/06/26 to £3,384,131); £3,384,131 incl. VAT source |