Nadim Kobeissi

Founder & CEO 於 Blogchain / Capsule Social

Nadim Kobeissi 是 Capsule 的創辦人暨執行長、Symbolic Software 的總監、Verifpal 的作者，以及 Cryptography FM 的主持人。作為 Symbolic Software（一家位於巴黎的應用密碼學諮詢公司）的總監，他管理一個小型團隊，提供安全審計、密碼協議設計和形式化驗證服務。他的主要重點是審計密碼學和開發 Verifpal，這是一個自動化的密碼協議建模、分析和驗證框架。自 年成立以來，Symbolic Software 已為全球客戶完成並交付了超過 項軟體和密碼學審計。在 年，他在 Inria Paris 辯護了他的博士論文《Formal Verification for Real-World Cryptographic Protocols and Implementations》。此外，他在紐約大學巴黎校區設計並教授了計算機安全課程，並在 年和 年擔任兼任教授。