nadim kobeissiは、capsuleの創設者兼CEO、symbolic softwareのディレクター、verifpalの著者、そしてcryptography fmのホストです。symbolic softwareのディレクターとして、パリを拠点とする応用暗号化コンサルティングオフィスで、セキュリティ監査、暗号プロトコル設計、および形式検証サービスを提供する小規模なチームを管理しています。私の主な焦点は、暗号化の監査と、自動化された暗号プロトコルモデリング、分析、および検証フレームワークであるverifpalの開発です。2018年の設立以来、symbolic softwareは世界中のクライアントに対して200以上のソフトウェアおよび暗号化監査を完了し、納品しています。2018年には、パリのinriaで、現実世界の暗号プロトコルと実装のための形式検証に関する博士論文を答弁しました。さらに、2018年と2019年にニューヨーク大学パリキャンパスで非常勤講師として勤務し、コンピュータセキュリティコースを設計し、教えました。