Vijay Nagarajan Image Vijay Nagarajan
Reader (Associate Professor)
Institute of Computer Systems Architecture
School of Informatics
University of Edinburgh
1.22 Informatics Forum
10 Crichton Street
Edinburgh, EH8 9AB

Office Phone: (+44) 131-651-3440
E-mail: vijay.nagarajan at

(FREE E-book)

CAPS Research Group




Open PhD Positions: You have a good background in computer architecture/formal methods with good programming skills. Email your resume!


    Our research broadly spans computer architecture, compilers and computer systems. We embrace the constructive, specification-directed approach to system design where possible. We've found the approach not only leads to correctness but also to efficiency.

    A full list of publications can be found here. Code can be found here. We work on hardware/software support for:

CAPS Research Group


Professional Activities