EPSRC logo
Researcher Details
 
Name: Professor A Roscoe
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture

Current EPSRC Support
EP/N022777/1 Reducing Cost of Software: A Scalable Model-Based Verification Framework(P)
Previous EPSRC Support
EP/E035590/1 CSP Model Checking: New Technology and Techniques(P)
GR/R74291/01 Security Aspects of the EU DataGrid(C)
GR/M32900/01 EXPLOITING DATA INDEPENDENCE(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator