Nadim Kobeissi

Nadim Kobeissi
Director of Symbolic Software

Dr Nadim Kobeissi  is a researcher with a focus on applied cryptography, protocol analysis and formal verification. I received my Ph.D. after doing research at the Institut National de Recherche en Informatique et Automatique (INRIA) in Paris (accredited by École Normale Superieure) and have published peer-reviewed research focusing on applied cryptography and automated protocol verification.

Currently Dr Kobeissi is a professor at NYU Paris and research director at Symbolic Software.

SO, WHAT DO YOU THINK?

BUILD THE NEXT GENERATION INTERNET

The NGI Forum website is run by NGI4ALL, which is part of the NGI initiative. NGI4ALL has received funding from the European Union's Horizon 2020 research and innovation programme under the Grant Agreement no 825354.
The content of this website does not represent the opinion of the European Union, and the European Union is not responsible for any use that might be made of such content.


EU flag