Nadim Kobeissi 简介
Nadim Kobeissi 是 Capsule 创始人，Cryptography FM 播客主持人，曾在纽约大学巴黎校区教授计算机安全课程。同时，他经营着位于巴黎的应用密码学咨询办公室 Symbolic Software，提供安全审核、加密协议设计、正式验证等服务。他也是 Verifpal 自动密码协议建模、分析、验证框架的作者。自 2018 年以来，Symbolical Software 已完成并交付了 200 多项软件和加密审核。
Nadim Kobeissi 相关信息
Coinmonks
技术教育，改变世界。
Massimo Morini
Algorand 基金会经济顾问委员会成员。
Ivan Liljeqvist
国际演讲者、区块链教育者。
Alexandre Bourget
dfuse 联合创始人兼首席技术官。
Ari Juels
Cornell Tech 教授、Chainlink 技术顾问。
Yorke E Rhodes III
微软 Microsoft 区块链的联合创始人。
Tutellus
西班牙语国家最大的在线教育协作平台。
Tim Roughgarden
哥伦比亚大学计算机科学系的教授。
Luit Hollander
MyCrypto 技术支持与布道者。