Nadim Kobeissi 简介
Nadim Kobeissi 是 Capsule 创始人，Cryptography FM 播客主持人，曾在纽约大学巴黎校区教授计算机安全课程。同时，他经营着位于巴黎的应用密码学咨询办公室 Symbolic Software，提供安全审核、加密协议设计、正式验证等服务。他也是 Verifpal 自动密码协议建模、分析、验证框架的作者。自 2018 年以来，Symbolical Software 已完成并交付了 200 多项软件和加密审核。
Nadim Kobeissi 相关信息
Ish Goel
PlotX 创始成员。
Eric Tu
ChainSafe Systems 与 Yeeth 开发工程师。
Teemu Paivinen
Equilibrium 实验室的创始人兼首席执行官。
Guillermo Rauch
Vercel 首席执行官。
Tieshun Roquerre
Namebase 创始人兼首席执行官。
Aiden McClelland
Start9 与 SALT 资深软件开发工程师。
llya Sapranidi
Gravity 产品与系统分析师。
Balaji S. Srinivasan
前 Coinbase 首席技术官。
Poramin Insom
Zcoin 创始人及核心开发者。