EPSRC logo
Researcher Details
Name: Dr V Nagarajan
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Electronic Devices & Subsys.
Fundamentals of Computing

Current EPSRC Support
EP/V028154/1 C6: Correct-by-Construction Heterogeneous Coherence(P)
EP/V038699/1 Dijkstra's Pipe: Timing-Secure Processors by Design(P)
Previous EPSRC Support
EP/M027317/1 C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence(P)
EP/M001202/1 Error-tolerant Stream Processing System Design (ESP-SD)(P)
EP/L000725/1 AnyScale Applications(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator