Nadim Kobeissi es el fundador y CEO de Capsule, director en Symbolic Software, autor de Verifpal y anfitrión de Cryptography FM. Como director de Symbolic Software, una oficina de consultoría en criptografía aplicada con sede en París, administro un pequeño equipo que ofrece auditorías de seguridad, diseño de protocolos criptográficos y servicios de verificación formal. Mi enfoque principal es auditar criptografía y desarrollar Verifpal, un marco de modelado, análisis y verificación automática de protocolos criptográficos. Desde su fundación en 2018, Symbolic Software ha completado y entregado más de 200 auditorías de software y criptográficas para clientes en todo el mundo. En 2018, defendí mi tesis doctoral, 'Verificación formal para protocolos y implementaciones criptográficas del mundo real', en Inria París. Además, diseñé y enseñé el curso de seguridad informática en el campus de París de la Universidad de Nueva York, donde fui profesor adjunto en 2018 y 2019.