His research interests are programming language foundations, quantum programming languages and formal methods for quantum computing. With Nagarajan, he pioneered the use of formal methods to analyse quantum systems. He was co-leader of the EPSRC Network on Semantics of Quantum Computation (2006–2010) and was active in the organisation of the QPL (originally Quantum Programming Languages, now Quantum Physics and Logic) workshop series during a similar period.