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
Co-founded Certora, a company focused on scaling formal verification for smart contracts.
Recognized as an ACM Fellow for contributions to software engineering and programming languages.
Awarded for significant long-term impact on the field of software engineering through seminal publications.
Became a full Professor at Tel Aviv University, contributing extensively to programming languages research.
Received the Bessel Research Award, acknowledging his influential research methods in formal verification.
Key milestones and important events in Mooly Sagiv's history.