全新
通过即将推出的 IQ.wiki API，将专家精选的加密货币和区块链知识集成到您的应用中。
正在显示 Mooly Sagiv 的 5 个里程碑
20181 个里程碑
5
1 1月 2018
Co-founded Certora
Co-founded Certora, a company focused on scaling formal verification for smart contracts.
20161 个里程碑
4
1 1月 2016
Became ACM Fellow
Recognized as an ACM Fellow for contributions to software engineering and programming languages.
20111 个里程碑
3
1 1月 2011
Received ACM SIGSOFT Impact Paper Award
Awarded for significant long-term impact on the field of software engineering through seminal publications.
20051 个里程碑
2
1 1月 2005
Joined Tel Aviv University as Professor
Became a full Professor at Tel Aviv University, contributing extensively to programming languages research.
20021 个里程碑
1
1 1月 2002
Friedrich Wilhelm Bessel Research Award
Received the Bessel Research Award, acknowledging his influential research methods in formal verification.