Nadim is the CEO of Capsule Social, a startup focusing on decentralized discourse technologies. Before Capsule Social, Nadim ran Symbolic Software, a Paris-based applied cryptography consulting office that offers security audits, cryptographic protocol design and formal verification services. Symbolic Software has completed and delivered over 250 software and cryptographic audits for clients all around the world.
Nadim is also the author of Verifpal, an automated cryptographic protocol modeling, analysis and verification framework used by Zoom, Bosch Research, Google and other large companies. Nadim holds a PhD in applied cryptography from the École Normale Supérieure in Paris, and previously served as a professor at New York University.