Nadim Kobeissi is a PhD researcher studying applied cryptography at INRIA's PROSECCO lab. He is interested in provable security, usable encryption, formal logic, JavaScript and the web. His software projects, which have focused on making encryption and online privacy more ubiquitous, include Cryptocat, an encrypted instant messaging platform, miniLock, a modern standard for file encryption, and Peerio, a full-featured open source productivity platform with end-to-end encryption. Originally from Lebanon, Nadim completed his undergraduate studies in 2013 in Montréal, Canada, and currently resides in Paris.