Key milestones and important events in this wiki's history
1st January 2018
Co-founded Certora, a company focused on scaling formal verification for smart contracts.
1st January 2016
Recognized as an ACM Fellow for contributions to software engineering and programming languages.
1st January 2011
Awarded for significant long-term impact on the field of software engineering through seminal publications.
1st January 2005
Became a full Professor at Tel Aviv University, contributing extensively to programming languages research.
1st January 2002
Received the Bessel Research Award, acknowledging his influential research methods in formal verification.