Nadim Kobeissi | Source | CEO, Co-founder at Capsule Social

Nadim is the Chief Executive Officer and Co-founder at Capsule Social, a startup that's building Blogchain, a decentralized discourse platform. Since 2018, Nadim has run Symbolic Software, a Paris-based applied cryptography consulting office. As its Director, he manages a small team that offers security audits, cryptographic protocol design and formal verification services. Since its founding in 2018, Symbolic Software has completed and delivered over 250 software and cryptographic audits for clients all around the world. He also writes research software: Verifpal, an automated cryptographic protocol modeling, analysis and verification framework and a project that he is very passionate about. In 2018, Nadim defended his Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris, after 3½ years of research with team PROSECCO.