Details
Mooly Sagiv is the co-founder and CEO of Certora, also serving as Chief Scientist. He is the Chair of Software Systems and a professor at the Blavatnik School of Computer Science and AI, Tel Aviv University. As an Israeli computer scientist, he is known for his work in static program analysis. He holds bachelor's and doctoral degrees from the Technion - Israel Institute of Technology.