Rajagopal Nagarajan


CONTACT   

Computer Science
Room CS326
University of Warwick
Coventry
CV4 7AL 		Tel: 024 7652 3682
Fax: 024 7657 3024
Email: R.Nagarajan@warwick.ac.uk

 

RESEARCH PROFILE


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

RESEARCH GROUPS

BACKGROUND


I have been a member of academic staff at the University of Warwick for over six years. 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.

SELECTED PUBLICATIONS


  • Nagarajan R ,Gay S J , (2006) 'Type System and Type Checking for Communicating Quantum Processes ' Mathematical Structures in Computer Science 16 (3), 375 - 406 (0960-1295)
  • Nagarajan R ,Bowen G , (2005) 'On Feedback and the Classical Capacity of a Noisy Quantum Channel' IEEE Transactions On Information Theory 51 (1), 320 - 324 (0018-9448)
  • Gay S J,Nagarajan R, (2003) 'Intensional and Extensional Semantics of Dataflow Programs' Formal Aspects Of Computing 15 299 - 318 (0934-5043)
  • Hankin C L, Nagarajan R, Sampath(2002) 'Flow Analysis: Games and Nets' in The Essence of Computation: Complexity, Analysis, Transformation, 135 - 156, Editors: Mogensen T, Schmidt D, Sudburough I H (3540003266), Springer Verlag
  • Abramsky S, Gay S J, Nagarajan R(1999) 'A Specification structure for deadlock-freedom of synchronous processes' Theoretical Computer Science 222 1 - 53 (0304-3975)
Update My Profile on the Warwick eRA Portal My Profile last updated: 13/01/2012