He leads a group of academics working in various areas of theoretical computer science and its applications. Nagarajan received his PhD from Imperial College London and has held positions at the University of Warwick, ATC-NY, USA, the University of Calgary, Canada and the University of California, Berkeley, USA. Nagarajan (together with Gay and other colleagues) has pioneered the use of model checking, equivalence checking, theorem proving and testing for the verification of quantum systems and has many of the first publications in these areas. He also has published in Quantum Information Theory and Quantum Machine Learning. He has been funded by the EPSRC, EU, National Cyber Security Centre and the Australian Research Council. Nagarajan was a Co-Investigator in the EU Sixth Framework Integrated Project SecoQC which built one of the earliest secure quantum communication networks.