Atalanta is already verifying the complex systems behind the world’s most important missions.

The cool thing about some of the technologies that are underlying the software understanding world is you can do things that you can’t get away with traditional unit testing and integration testing.

That is exactly the kind of thing that these tools [like Atalanta’s Argo] can answer, because they can enumerate the spaces of possibility in a different way.

I need to take the moment to say thank you to Atalanta...

My worst nightmare would be that we’re sitting in the Pentagon all by ourselves, trying to write the strategy in an ivory tower, and not be able to hear this kind of a discussion today about what’s really happening now in the wider world.

One of the things that we’ve started to do with the Atalanta team is ask: How do you communicate resiliency?

We have to go above and beyond and work on methods to secure our systems and deliver resiliency…

That’s the work that we’ve been doing together with the Atalanta team.

[What gives me optimism that we can meet this moment is] companies like Atalanta.

This comes back to the engineering platform. What excites me about applying formal methods is the notion of agility, efficiency, and speed. That’s real opportunity.

We’re seeing that play out in a number of commercial applications already. And that’s certainly what we’re trying to apply to the Prometheus Project.

The thing that excites me about Argo and the general theory behind Argo is we need to have a way to provide that type of justified true belief at different levels of abstraction, so that you don’t have to be a proof engineer in order to be able to actually translate that knowledge and communicate it effectively.

Speaking with the team about Argo, it became clear that this is a tool that could allow us to have high degrees of assurance to move quickly and to meet the mission.

When we saw the Atalanta team, people we had seen across the government, across academia, this was really the right team to bring together...

As an investor, those are some of the things that we’re looking at when we’re actually saying, okay, we’re gonna put our dollars behind this team, this technology, this is market opportunity.

When you see engineers, investors, and policymakers on the same page and saying, ‘We all see that the solution space is achievable,’ that is not that common.

I do not often hear the engineers and the policymakers nodding along, and when investors are there too… there’s some real fuel here.

In the world that I operate in, [trustworthiness] matters and a lot of times you can’t begin to trust people, unless you understand where they are coming from. I think this is an opportunity for us following the steps of Atalanta to start being able to begin to trust software because we will understand.

Security, resilience, understanding, trust, truth… the deeper you go into complex problems, the more critical these words are, and the definition matters so much.