Research

My research spans across three main areas: quantum cryptography, formal verification, and quantum measurements, focussing on fundamental questions to applications in quantum information processing and quantum communications.