Nadim Kobeissi, Capsule'ın kurucusu ve CEO'su, Symbolic Software'da direktör, Verifpal'ın yazarı ve Cryptography FM'in sunucusudur. Paris merkezli uygulamalı kriptografi danışmanlık ofisi Symbolic Software'ın direktörü olarak, güvenlik denetimleri, kriptografik protokol tasarımı ve formel doğrulama hizmetleri sunan küçük bir ekibi yönetiyorum. Ana odak noktam kriptografi denetimi yapmak ve otomatik kriptografik protokol modelleme, analiz ve doğrulama çerçevesi olan Verifpal'ı geliştirmektir. 2018 yılında kurulduğundan bu yana, Symbolic Software dünya çapında müşterilere 200'den fazla yazılım ve kriptografi denetimi tamamlayıp teslim etmiştir. 2018 yılında, INRIA Paris'te gerçek dünya kriptografik protokolleri ve uygulamaları için formel doğrulama konulu doktora tezimi savundum. Ayrıca, 2018 ve 2019 yıllarında New York Üniversitesi'nin Paris kampüsünde bilgisayar güvenliği dersini tasarlayıp öğrettim.