Mooly Sagiv, statik program analizi alanında yaptığı çalışmalarla tanınan Certora'nın CEO'su ve bir İsrail bilgisayar bilimcisi'dir. Aynı zamanda Tel Aviv Üniversitesi Bilgisayar Bilimi Okulu'ndaki Yazılım Sistemleri Bölümü'nün başkanıdır.