Mooly Sagiv – Milestones
Key milestones and important events in Mooly Sagiv's history.
5
Total Milestones
2002
Earliest
2018
Latest
16 yrs
Span
Showing 5 milestones for Mooly Sagiv
20181 milestone
5
1 Jan 2018
Co-founded Certora
Co-founded Certora, a company focused on scaling formal verification for smart contracts.
20161 milestone
4
1 Jan 2016
Became ACM Fellow
Recognized as an ACM Fellow for contributions to software engineering and programming languages.
20111 milestone
3
1 Jan 2011
Received ACM SIGSOFT Impact Paper Award
Awarded for significant long-term impact on the field of software engineering through seminal publications.
20051 milestone
2
1 Jan 2005
Joined Tel Aviv University as Professor
Became a full Professor at Tel Aviv University, contributing extensively to programming languages research.
20021 milestone
1
1 Jan 2002
Friedrich Wilhelm Bessel Research Award
Received the Bessel Research Award, acknowledging his influential research methods in formal verification.