Mooly is a leading researcher in formal verification. He co-founder of Certora, bringing mathematical rigor to smart contract security. He is an ACM Fellow and recipient of the Friedrich Wilhelm Bessel Award and Microsoft Research Outstanding Collaborator Award.