Ph.D., Imperial College London, 1999
|Professor of Foundations of Computing
Department of Computer Science
I am a member of academic staff at Middlesex University and I lead the Foundations of Computing group. Before that, 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.
Foundations of Programming Languages, Formal Methods, Security and Cryptography, Quantum Information Processing, Financial Computing, Carless Driver Technology.
At Middlesex, I am currently involved in the teaching of:
- CSD3401 Quantum Information Processing, Verification and Security
- CSD4040 Advanced Topics in Computer Science
- BIS4610 Information Security Management
At Warwick, I was most recently involved in the teaching of the following modules: CS130 Mathematics for Computer Scientists I, CS406 Research Directions in Computing, CS245 Automata and Formal Languages, CS246 Further Automata and Formal Languages.
Research Projects and Networks
- Partner and Management Committee Substitute Member, EU ICT COST Action IC1405 Reversible Computation—Extending Horizons of Computing, 2015–2019.
- 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,
- 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.
- Stephan Spahn, Ph.D. Student (Category Theory and Type Theory)
- Michele Bottone, Ph.D. Student (Agoric Computation)
- Lorenzo Gheri, Ph.D. Student
- Engie Bashir, Ph.D. Student, Middlesex University Dubai
- 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 [completed] Ph.D. Student (Quantum Computation and Communication)
- 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
- G. Primiero, F. Raimondi, T. Chen and R. Nagarajan, A Proof-theoretic Trust and Reputation Model for VANET“, S4CIP ’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, Paris, France, April 2017, Accepted for publication.
- D. Windridge and R. Nagarajan, Quantum Bootstrap Aggregation , QI ’16: 10th International Quantum Interaction Conference, San Francisco, July 2016, Springer-Verlag Lecture Notes in Computer Science, number 10106, 2017.
- J. Boender, F. Kammueller and R. Nagarajan, Formalization of Quantum Protocols using Coq, QPL ’15: Proceedings of the 12th Workshop on Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, vol 195, 2015.
- E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Verification of Concurrent Quantum Protocols by Equivalence Checking“, TACAS ’14: Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014), Grenoble, France, April 2014.
- E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Equivalence Checking of Quantum Protocols, TACAS ’13: Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013), Rome, Italy, March 2013.
- S. J. Gay and R. Nagarajan, Techniques for Formal Modelling and Analysis of Quantum Systems, In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky – Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday, (B. Coecke, L. Ong and P. Panangaden, eds)., Springer Lecture Notes in Computer Science, volume 7860, 2013.
- 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
- T. Davidson, S. J. Gay, H. Mlnařík, R. Nagarajan and N. Papanikolaou, Model Checking for Communicating Quantum Processes, International Journal of Unconventional Computing.
- 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
- 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.