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