Mooly Sagiv est le CEO de Certora et un informaticien israélien connu pour ses travaux en analyse statique de programmes. Il est également le chef du département des systèmes logiciels à la faculté d'informatique de l'université de Tel Aviv.