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
Title Funder Award start Award end
Formal verification of quantum cryptographic protocols EPSRC 01 Apr 2003 31 Mar 2005