Mooly Sagiv

Mooly Sagiv 是 Certora 的 CEO，同时是一位以色列计算机科学家，以静态程序分析方面的工作而闻名。他还是特拉维夫大学计算机科学学院的软件系统系主任。