Mooly Sagiv is the CEO of Certora and an Israeli computer scientist known for his work in static program analysis. He is also the head of the Software Systems Department at the School of Computer Science at Tel Aviv University.