基本情報
Mooly Sagiv 氏は Certora 社の CEO であり、静的プログラム分析の研究で知られるイスラエルのコンピュータ科学者です。また、テルアビブ大学コンピュータサイエンス学部のソフトウェア システム部門の責任者でもあります。
関連人物
James Wilcox
James Wilcox 氏は、Certora の元 CTO です。
Uri Kolodny
Uri Kolodny は StarkWare の共同設立者で元 CEO です。同社では、STARK ゼロ知識証明を使用してブロックチェーンの拡張に尽力しています。また、Certora の顧問、Mondria Technologies Ltd. の共同設立者兼 CEO、Greylock および ICV の常駐起業家、Timna の共同設立者兼 CEO も務めています。Uri はマサチューセッツ工科大学スローン経営大学院で修士号を取得しています。
Saurabh Sharma
サウラブ・シャルマは、Certora、P2P.org、0xの取締役であり、Jump Cryptoの投資ディレクター兼パートナーです。コーネル大学卒業。
