Mooly Sagiv

Mooly Sagiv 是 Certora 联合创始人兼 CEO，同时担任首席科学家。他也是特拉维夫大学计算机科学学院软件系统系主任及教授。作为以色列计算机科学家，他以静态程序分析研究闻名。他拥有以色列理工学院学士与博士学位。