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
加入 March 2018
3.7K 正在關注 3.3K 粉絲
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.
顯示更多
