Atalanta

Read “The Age of Software Understanding” atalanta.tech/articles/the-a…

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.)