Mooly Sagiv
@SagivMooly
CEO of @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi - Making Formal Verification Accessible with AI
Joined March 2018
3.7K Following 3.3K Followers
This is something the industry hasn’t seen yet.
Certora is the pioneer in formal verification. FV + AI is our bread and butter and we’ve got something new coming soon.
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:
Show more
