most people see formal methods as an engineering problem. i see it as a design problem — the opportunity to make mathematical certainty accessible to the people responsible for the world’s most critical decisions.
that’s why i’m joining @anjaninna, jonathan, and @AtalantaTech
grateful to @joshpuckett for his mentorship and @nikunj for opening doors.
there are few problems more important than understanding the systems we increasingly rely on. if that interests you, my dms are open.
.@INL is teaming with Atalanta because testing isn’t enough for mission-critical systems – proof matters. 🤝 ⚛️
Atalanta's Argo platform supports the goals of @ENERGY's #GenesisMission to use #AI to accelerate R&D, including #nuclear energy.
🔗https://t.co/EWOFinoS4p
Today, Atalanta and @INL are announcing their partnership to safely accelerate advanced nuclear reactor deployment.
Through this collaboration, Argo is being deployed in service to Prometheus, a project that supports the aims of the Genesis Mission, a national AI initiative led by the White House and the Department of Energy to build the world’s most powerful scientific platform to accelerate discovery science, strengthen national security, and drive energy innovation.
“In order to deliver nuclear energy that is faster, safer, and cheaper, mathematical guarantees from formal methods must be part of the equation,” said Greg Shannon, Chief Cybersecurity Scientist for National and Homeland Security at Idaho National Laboratory. “We are proud to establish this public-private partnership with Atalanta on Prometheus."
Read our announcement (link in reply.)
Today, Atalanta is coming out of stealth. We are a mathematical AI company with a vision to bring provably correct decision-making to the world’s most important missions.
The systems underpinning critical infrastructure, national security, and autonomous operations are growing more complex and interdependent than our ability to reason about them. The U.S. government calls this challenge “the software understanding gap.” We built Atalanta to deliver on this national priority by combining AI and formal methods with the speed, agility, and precision that critical missions demand.
Over the past 15 months, we’ve deployed our flagship product, Argo, with leading institutions across energy, space, and defense. We’ve built a team of exceptional people deeply committed to solving this problem, and we’re now growing quickly and expanding across engineering, mathematics, strategy, and design.
Read our company thesis in the essay “The Age of Software Understanding,” written by Atalanta’s founders, Anjana Rajan and Jonathan Ring (link below.)