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.
My LinkedIn profile is here.
Quantum Information Processing, Foundations of Programming Languages, Formal Methods, Security and Cryptography, Machine Learning, Financial Computing, Carless Drivers.
At Middlesex, I am currently involved in the teaching of parts of:
- CST4040 Advanced Topics in Computer Science
- CST4080 Legal, Ethical and Security Aspects of Data 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
- Principal Investigator, Formal Verification of Quantum Security Protocols using Coq, National Cyber Security Centre Research Project (Research Institute in Verified Trustworthy Software Systems), 2018–2019.
- 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.
- Michele Bottone [completed], Ph.D. Student (Agoric Computation)
- Lorenzo Gheri [completed], 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
- R. Bornat, J. Boender, F. Kammueller, G. Poly and R. Nagarajan, Describing and Simulating Concurrent Quantum Systems, Tool Demonstration Paper, In TACAS ’20: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, To be held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Lecture Notes in Computer Science, Springer. To Appear.
- E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Automated Equivalence Checking of Concurrent Quantum Systems, ACM Transactions on Computational Logic, volume 19, issue 4, December 2018.
- D. Windridge, R. Mengioni and R. Nagarajan, Quantum Error-Correcting Output Codes, International Journal of Quantum Information, Vol. 16, No. 08, 1840003 (2018).
- A. di Pierro, R.Mengoni, R. Nagarajan and D. Windridge, Hamming Distance Kernelisation via Topological Quantum Computation, TPNC ’17: 6th International Conference on Theory and Practice of Natural Computing, Prague, Czech Republic, December 2017, Springer-Verlag Lecture Notes in Computer Science.
- 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.
- 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 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.