conferences | speakers | series

Nadim Kobeissi

πŸ‘₯ 1 conference
🎀 1 talk
πŸ“… Years active: 2020 to 2020

Biography

Nadim Kobeissi is a researcher in applied cryptography and professor at New York University's Paris campus. His research work focuses on protocol analysis and formal verification. Nadim received his Ph.D. after doing research at the Institut National de Recherche en Informatique et Automatique (INRIA) in Paris and has published peer-reviewed research focusing on applied cryptography and automated protocol verification.

Links

— biography from FOSDEM 2020
https://archive.fosdem.org/2020/schedule/speaker/nadim_kobeissi/

Conferences

1 known conferences

πŸ‘₯ FOSDEM 2020 πŸ“… 01 Feb 2020

  πŸŽ€ Verifpal
   01 Feb 2020 show details