基本信息
Mooly Sagiv 是 Certora 的 CEO，同时是一位以色列计算机科学家，以静态程序分析方面的工作而闻名。他还是特拉维夫大学计算机科学学院的软件系统系主任。
关联人物
James Wilcox
James Wilcox 是 Certora 的前首席技术官。
Uri Kolodny
Uri Kolodny 是 StarkWare 联合创始人兼董事会成员、Certora 顾问和天使投资人。Uri 拥有麻省理工学院-斯隆管理学院的硕士学位。
John Toman
John Toman 是 Certora 高级技术研究员 。
Tomer Ganor תומר גנור
Tomer Ganor是 Certora的安全工程与研究技术主管。
Saurabh Sharma
Saurabh Sharma 是 Certora、P2P.org 以及 0x 的董事会成员和 Jump Crypto 的投资主管兼合伙人。他毕业于康奈尔大学。
AliceAndBob
AliceAndBob是 Certora的工作人员，致力于搜索和验证工作。
