Role in Prometheus
Formal-methods AI partner: Argo software-understanding platform deployed in service to Prometheus to verify control-system safety constraints and human-in-the-loop workflows, aimed at accelerating power-plant deployment and reducing operational costs.
Commitments
| Tier | Consortium member |
| Category | Software |
| Board seat | — |
| Capital committed | — |
| In-kind | — |
| Ticker | — |
Assets brought to the program
- Argo software-understanding platform
Notes
INL confirms consortium membership. Atalanta Technologies (Washington, D.C.; emerged from stealth ~May 2026; founders Anjana Rajan and Jonathan Ring) is a mathematical-AI / formal-methods company; its 'Argo for Energy' product verifies that mission-critical control systems meet safety constraints. Role is partner-stated with a named INL quote in the company's announcement, corroborated by the company's X post — but not yet confirmed on inl.gov or by independent trade press, so confidence is medium rather than high.
Milestone log
- 2026-05-05 — Atalanta and INL announced their Prometheus partnership (predating the 2026-07-22 Phase II award — the tie appears to date from Prometheus's earlier phase); INL Chief Cybersecurity Scientist Greg Shannon is quoted: 'We are proud to establish this public-private partnership with Atalanta on Prometheus' (source)