Nadim Kobeissi 简介
Nadim Kobeissi 是 Capsule 创始人，Cryptography FM 播客主持人，曾在纽约大学巴黎校区教授计算机安全课程。同时，他经营着位于巴黎的应用密码学咨询办公室 Symbolic Software，提供安全审核、加密协议设计、正式验证等服务。他也是 Verifpal 自动密码协议建模、分析、验证框架的作者。自 2018 年以来，Symbolical Software 已完成并交付了 200 多项软件和加密审核。
Nadim Kobeissi 相关信息
Carl Cortright
Coinbase 软件开发工程师。
Galactic Coincil
构建了 Polkalert、Apiexplorer 等项目。
John Johnson
0x 资深前端开发工程师。
Bonan Yuan
TradeBlock 软件开发工程师。
Dziugas Butkus
SmartDeFi 联合创始人兼首席技术官。
Jonathan Perkins
SuperRare 首席产品官。
Jason Teutsch
可扩展区块链验证解决方案 TrueBit 联合创始人。
Oliver Nordbjerg
前 Aragon 开发工程师。
Andrew Nesbitt
Protocol Labs 软件开发工程师、研究分析师。