Riyaz Ahuja

Founding MTS @andTruthPBC, on leave PhD @stanford
professional hill climber

[WIRED @WIRED]

A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended. https://t.co/oHQlOHSGTN

[Clark Barrett @ClarkBarrett7]

I’m excited to announce the emergence from stealth of &Truth, PBC, the company I’ve been building for the past few months with my co-founders Chris Hsu and @ilyasergey.  Come see what we are up to: https://t.co/sxDjtO5LN4.

[Riyaz Ahuja @riyaz_ahuja]

first time i've seen a BI hyperdoctrine in a NYT article: https://t.co/tG7gad5qfx

CSLFTW

[George Pîrlea @GeorgePirlea]

I’ve joined &Truth to secure our civilisation’s digital infrastructure for the AI era. We’re really at a critical juncture and I think we have less than 18 months to formally verify all the world’s software.

If you’re reading this, you likely already know that an avalanche of cybersecurity disasters is coming our way. The wider public doesn’t know yet — but will find out soon enough, and when it does, we in the formal methods community need to be able to say that we have built the tools, infrastructure, and capability to meet the challenge. We’ll also need to educate the public.

&Truth is building an universal verification layer that handles code in any language, and anyone will be able to independently check our proofs. I firmly think this will become basic civilisational infrastructure in just a few years’ time, and will serve a similar role as the rule of law does now.

There are massive challenges ahead, but I’m convinced this is the best team in the world to solve this problem.

If you want to build for the public benefit, we are hiring!

[Ilya Sergey @ilyasergey]

I'm thrilled to bring &Truth out of stealth as its co-founder and Chief Science Officer. With a team I'm proud to be part of, we're setting out to specify and prove all the world's software correct and secure.

If you geek out over code people can understand and trust, join us!

[Riyaz Ahuja @riyaz_ahuja]

Was eating a philly cheesesteak a few months ago when @ClarkBarrett7 called to tell me I should probably find a coadvisor, as he was going on leave to start a code verification company. After a second of chewing, I told him I would be dropping out to join @andTruthPBC immediately.

Formal verification of all software is the only scalable solution to trusting legacy and AI-written code alike. There is no better team on the planet to solve this problem, and it is the privilege of a lifetime to be a part of it.

[andTruth @andTruthPBC]

We are out of stealth! As AI writes more code, we're building tools to prove programs meet precise requirements, with Lean proofs anyone can independently check. Let's make verified software the norm in every language and application.

Come take a look: https://t.co/NUGQLplyrZ