Mooly Sagiv

Mooly Sagiv 是 Certora 的 CEO，同時也是一位以色列電腦科學家，以靜態程式分析的工作而聞名。他也是特拉維夫大學電腦科學學院的軟體系統系主任。