Mooly Sagiv es el CEO de Certora y un informático israelí conocido por su trabajo en el análisis estático de programas. También es el jefe del Departamento de Sistemas de Software en la Escuela de Ciencias de la Computación de la Universidad de Tel Aviv.