I’m working on abstract cryptography, modeling of quantum communication and computation protocols and more broadly on finding and analysing applications for the Quantum Internet.