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.
Foundations of Programming Languages, Formal Methods, Security and Cryptography, Quantum Information Processing, Financial Computing.
TeachingAt 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 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.
- 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.
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.