注册并分享邀请链接,可获得视频播放与邀请奖励。

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
3.7K 正在关注    3.3K 粉丝