Mooly Sagiv – 마일스톤
Mooly Sagiv의 역사에서 주요 마일스톤과 중요한 이벤트.
5
총 마일스톤
2002
최초
2018
최근
16 년
기간
Mooly Sagiv에 대한 마일스톤 5개 표시 중
2018마일스톤 1개
5
1 1월 2018
Co-founded Certora
Co-founded Certora, a company focused on scaling formal verification for smart contracts.
2016마일스톤 1개
4
1 1월 2016
Became ACM Fellow
Recognized as an ACM Fellow for contributions to software engineering and programming languages.
2011마일스톤 1개
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.
2005마일스톤 1개
2
1 1월 2005
Joined Tel Aviv University as Professor
Became a full Professor at Tel Aviv University, contributing extensively to programming languages research.
2002마일스톤 1개
1
1 1월 2002
Friedrich Wilhelm Bessel Research Award
Received the Bessel Research Award, acknowledging his influential research methods in formal verification.