Nadim Kobeissi

Founder & CEO （ Blogchain / Capsule Social

Nadim KobeissiはCapsuleの創業者兼CEO、Symbolic Softwareのディレクター、Verifpalの著者、Cryptography FMのホストです。パリを拠点とする応用暗号コンサルティング会社Symbolic Softwareのディレクターとして、私はセキュリティ監査、暗号プロトコル設計、形式検証サービスを提供する小規模チームを管理しています。私の主な焦点は暗号の監査と、自動化された暗号プロトコルのモデリング、分析、検証フレームワークであるVerifpalの開発です。設立以来、Symbolic Softwareは世界中のクライアントに対して〇以上のソフトウェアおよび暗号監査を完了し納品してきました。〇年、私はInria Parisで博士論文「Formal Verification for Real-World Cryptographic Protocols and Implementations」を擁護しました。さらに、ニューヨーク大学パリキャンパスでコンピュータセキュリティコースを設計・教鞭をとり、〇年と〇年に非常勤教授を務めました。