RAJAGOPAL NAGARAJAN
Ph.D. Imperial College, 1999
Associate Professor
Department of Computer Science
The University of Warwick
Coventry CV4 7AL
Office: 326 (Third floor)
Email: b i j u@dcs.warwick.ac.uk
Phone: +44 (0) 2476 523682

Woz and I: with Steve Wozniak, co-founder of Apple and personal computer pioneer

 

I have been a member of academic staff at the University of Warwick for over eight years. I am affiliated with the Warwick Institute for Financial Computing and the Centre for Discrete Mathematics and its Applications (DIMAP). I belong to two research groups: Algorithms and Computational Complexity, and Formal Methods.

I received my Ph.D. from
Imperial College (University of 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.

View Rajagopal Nagarajan's profile on LinkedIn

Teaching

In Spring 2001, I taught the third-year undergraduate course CS329 on parallel algorithms. Since the Autumn of 2002, I have been the course organiser for third and fourth year courses CS321 and CS406. The former is intended to give students insights into the IT industry through invited speakers. The latter introduces various research topics of current interest in computer science. Last year I taught CS406 and a new module, CS203, which is core for second year students and these are the modules I will teach this year.

Research Projects and Networks

  • Formal Verification of Quantum Cryptographic Protocols
  • SecoQC: Development of a Global Network for Secure Communication based on Quantum Cryptography
  • EPSRC Network on Semantics of Quantum Computation

Research Support

```````

Research Supervision

  • Jan Bouda, Postdoctoral Research Fellow (Classical and Quantum Cryptography)
  • Garry Bowen, formerly Postdoctoral Research Fellow (Quantum Information Theory)
  • Timothy Davidson, Ph.D. Student (Quantum Cryptography)
  • Caroline Rogers, Ph.D. Student (Quantum Information Theory)
  • Nick Papanikolaou, formerly M.Sc. student and currently Ph.D. Student (Quantum Cryptography)
  • David Williams [completed], M.Sc. Student (Quantum Computation)

 

Research Interests

  • Quantum Computation and Quantum Information
  • Concurrency Theory and Distributed Computing
  • Theory of Programming Languages
  • Information Security
  • Financial Computing

Selected Recent Publications

  • S. J. Gay, R. Nagarajan and N. Papanikolaou. Specification and Verification of Quantum Protocols, In: Semantics of Quantum Computation, 68 pages, Cambridge University Press, Accepted for publication, 2009.
  • Markus Muller, Caroline Rogers, and Rajagopal Nagarajan. Lossless Quantum Prefix Compression for Communication Channels that are Always Open, Physical Review A, volume 79, issue 1, 2009.
  • S. J. Gay and R. Nagarajan. Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3):375--406, 2006.
  • R. Lazic and R.Nagarajan (ed.). AVoCS '05: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science 145, 218 pages, Elsevier, January 2006.
  • S. J. Gay and R. Nagarajan. Communicating Quantum Processes. In POPL '05: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, Long Beach, California, January 2005. Draft available from quant-ph preprint archive, paper number 0409052 [abstract]. An earlier version appeared in QPL '04: Proceedings of the Second International Workshop on Quantum Programming Languages, Turku, Finland, July 2004.
  • G. Bowen and R. Nagarajan. On Feedback and the Classical Capacity of a Noisy Quantum Channel. In IEEE Transactions on Information Theory, volume 51, number 1, 2005. An earlier version appeared in ISIT '04: Proceedings of IEEE International Symposium on Information Theory, Chicago, June 2004. Draft available from quant-ph preprint archive, paper number 0305176 [abstract]
  • S. J. Gay and R. Nagarajan. Intensional and Extensional Semantics of Dataflow Programs.
    Formal Aspects of Computing 15 (299--318), 2003 (Special issue on Semantic Foundations of Engineering Design Languages ). [Springer link]

>> MORE PUBLICATIONS

Invited Talks & Conferences

  • Communicating Quantum Processes, Invited Lecture, Special Session on Quantum Computing, MFPS '06: 22nd International Conference on Mathematical Foundations of Program Semantics, Genoa, Italy, May 2006.
  • Quantum Communication and Cryptography: Introductory Concepts and State-of-the-Art, Invited Tutorial, DCM '05: International Workshop on Developments in Computational Models, Lisbon, Portugal, July 2005.
  • Analysis of Quantum Cryptographic Systems, Invited Lecture presented at QMQC'04, University of Warwick, England (February 2004)
  • Introduction to Quantum Computation and Quantum Cryptography, Seminar presented at TRDDC, Pune, India (December 2003)
  • On the Program Committee of FSTTCS '02
  • Involved in Local Organization of POPL '01