Nadim Kobeissi é o fundador e CEO da Capsule, diretor da Symbolic Software, autor do Verifpal e apresentador do Cryptography FM. Como diretor da Symbolic Software, um escritório de consultoria em criptografia aplicada com sede em Paris, gerencio uma pequena equipe que oferece auditorias de segurança, design de protocolos criptográficos e serviços de verificação formal. Meu foco principal é auditar criptografia e desenvolver o Verifpal, uma estrutura automatizada para modelagem, análise e verificação de protocolos criptográficos. Desde sua fundação em 2018, a Symbolic Software completou e entregou mais de 200 auditorias de software e criptográficas para clientes em todo o mundo. Em 2018, defendi minha tese de doutorado, verificação formal para protocolos e implementações criptográficas do mundo real, no INRIA Paris. Além disso, projetei e ensinei o curso de segurança de computadores no campus de Paris da Universidade de Nova York, onde atuei como professor adjunto em 2018 e 2019.