里程碑

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.