Mooly Sagiv(@SagivMooly):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.

Mooly Sagiv

@SagivMooly

Chief Scientist @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi

Joined March 2018

3.5K Following 2.8K Followers

Mooly Sagiv@SagivMooly

2026.05.13 15:35

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.

Code4rena@code4rena

2026.05.13 09:21

After careful consideration, we’ve made the decision to wind down @code4rena. This community has meant a great deal to everyone who has been part of building it, and sharing this news is not easy.