Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

Rajagopal Nagarajan

Job Title
Associate Professor
Department
Computer Science
  • Ardeshir-Larijani, Ebrahim, Gay, Simon J., Nagarajan, Rajagopal, 2013. Equivalence checking of quantum protocols. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013, Published in Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, pp. 478-492
  • Maad, Soha, Mccarthy, J. B., Garbaya, S., Beynon, Meurig, Nagarajan, Rajagopal, 2010. Service software engineering for innovative infrastructure for global financial services. 7th European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2010, Abu-Dhabi, 12-13 Apr 2010, Published in Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems: Global Information Systems Challenges in Management, EMCIS 2010
  • Gay, Simon J., Nagarajan, Rajagopal, Papanikolaou, Nikolaos K., 2008. QMC : a model checker for quantum systems. 20th International Conference on Computer Aided Verification, Princeton, USA, 7-14 Jul 2008, Published in CAV '08 Proceedings of the 20th international conference on Computer Aided Verification, pp. 543-547
  • Gay, Simon J., Nagarajan, Rajagopal, 2006. Types and typechecking for communicating quantum processes. 2nd International Workshop on Quantum Programming Languages (QPL 2004), Turku, Finland, 12-13 July, 2004
  • Gay, S. J., Nagarajan, Rajagopal, 2005. Communicating quantum processes. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, CA, 12-14 Jan 2005, Published in ACM SIGPLAN Notices, pp. 145-157
  • Gay, S. J., Nagarajan, Rajagopal, Papanikolaou, N. K., 2007. QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science
Title Funder Award start Award end
Formal verification of quantum cryptographic protocols EPSRC 01 Apr 2003 31 Mar 2005