Skip to content. | Skip to navigation

Ph.D., Imperial College London, 1999
Professor of Foundations of Computing
Department of Computer Science
School of Science and Technology
Middlesex University
London NW4 4BT
Office: T126
Email: R . N a g a r a j a n @ m d x . a c . u k
Phone: +44 (0) 0208 411 3620

With Steve Wozniak, co-founder of Apple and personal computer pioneer

I have now taken up a position at Middlesex University. Until recently, I was a member of academic staff in the Department of Computer Science at the University of Warwick. Within the department, I belonged to the Foundations of Computer Science research group. I was also affiliated with the Warwick Institute for Financial Computing and the Centre for Discrete Mathematics and its Applications (DIMAP).

I received my Ph.D. from Imperial College London where I was also a postdoctoral researcher. Previously I was employed by the University of Calgary, Canada, and ATC-NY, USA. I have an M.S. from the University of Delaware and a B.Tech. from IIT Madras, India.

Research Interests

Foundations of Programming Languages, Formal Methods, Security and Cryptography, Quantum Information Processing, Financial Computing.


At Warwick, I was most recently involved in the teaching of the following modules:

Research Projects and Networks

  • Partner Investigator, Process Algebra approach to Distributed Quantum computation and Secure Quantum Communication, Australian Research Council Discovery Project, 2011-2013.
  • Co-Investigator, SecoQC: Development of a Global Network for Secure Communication based on Quantum Cryptography, EU Framework 6 Programme Integrated Project, 2004--2008.
  • Associate Partner, QICS: Foundational Structures for Quantum Information and Computation, EU Framework 6 Programme Specific Targeted Research Project, 2007--2009.
  • Partner, Semantics of Quantum Computation, Network funded by the UK Engineering and Physical Sciences Research Council, 2006--2009.
  • Principal Investigator, Formal Verification of Quantum Cryptographic Protocols, Project funded by the UK Engineering and Physical Sciences Research Council, 2003--2006.

Research Supervision

  • Hynek Mlnařík, formerly Postdoctoral Research Fellow (Financial Computing)
  • Jan Bouda, formerly Postdoctoral Research Fellow (Classical and Quantum Cryptography)
  • Garry Bowen, formerly Postdoctoral Research Fellow (Quantum Information Theory)
  • Ebrahim Ardeshir, Ph.D. Student (Quantum Cryptography)
  • Timothy Davidson [completed], Ph.D. Student (Quantum Communication)
  • Caroline Rogers [completed], Ph.D. Student (Quantum Information Theory and Complexity)
  • Nick Papanikolaou [completed], M.Sc. and Ph.D. Student (Quantum Cryptography)
  • David Williams [completed], M.Sc. Student (Quantum Computation)

Selected Recent Publications

  • T. Davidson, S. J. Gay, R. Nagarajan and I. V. Puthoor
  • Analysis of a Quantum Error Correcting Code using Quantum Process Calculus In: Proceedings of the 8th Workshop on Quantum Physics and Logic (QPL '11) Electronic Proceedings in Theoretical Computer Science (To appear).
  • T. Davidson, S. J. Gay, H. Mlnařík, R. Nagarajan and N. Papanikolaou
  • Model Checking for Communicating Quantum Processes International Journal of Unconventional Computing (To appear).
  • T. Davidson, S. J. Gay and R. Nagarajan
  • Formal Analysis of Quantum Systems using Process Calculus In: Proceedings of the Workshop on Interaction and Concurrency Experience (ICE '11). Electronic Proceedings in Theoretical Computer Science 59:104-110, 2011.
  • S. J. Gay, R. Nagarajan and N. Papanikolaou
  • Specification and Verification of Quantum Protocols Semantic Techniques in Quantum Computation, 68 pages, Cambridge University Press, 2010.
  • M. Muller, C. Rogers, and R. Nagarajan
  • Lossless Quantum Prefix Compression for Communication Channels that are Always Open Physical Review A, volume 79, issue 1, 2009.
More publications

Invited Talks and Conferences

  • On the Programme Committee of ICQNM '11, Nice, France.
  • Invited Presentation, National Science Foundation, Arlington, VA, USA, July 2010.
  • Guest Lecture, HyperNet 10: Hypercomputation Workshop at the 9th International Conference on Unconventional Computation, Tokyo, June 2010.
  • Invited Lecture, URC* 2010: Undergraduate Research in Computer Science Student Conference, King's College London, March 2010.