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
C4 has been part of our journey promoting formal verification. We've partnered on contests, and some of our best security researchers have come through them. Their attitude toward researchers always stood out.
Respect and gratitude.
Show more
