|
| Name: |
Professor J Derrick |
| Organisation: |
University of Sheffield |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
|
|
| Current EPSRC Support |
| EP/X015114/1 | Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) | (P) |
|
| Previous EPSRC Support |
| EP/V518529/1 | NPIF EPSRC CDT 2018 equipment funding University of Sheffield | (P) |
| EP/R032351/1 | Verifiably Correct Transactional Memory. | (P) |
| EP/R024707/1 | Millimetre wave measurement equipment | (C) |
| EP/R018936/1 | Verifiably correct concurrency abstractions | (P) |
| EP/M017044/1 | Verifying concurrent algorithms on Weak Memory Models | (P) |
| EP/K503812/1 | Impact Acceleration Account - University of Sheffield 2012 | (P) |
| EP/J003727/1 | Verifying Concurrent Lock-free Algorithms | (P) |
| EP/J013714/1 | University of Sheffield - Equipment Account | (P) |
| EP/G031711/1 | Higher-order Refinement Techniques for Model Driven Architecture | (P) |
| EP/E01867X/1 | Bridging the Gap between Mathematics, ICT and Engineering Research at Sheffield | (C) |
| EP/C525000/1 | Formally-based tool support for Erlang development | (P) |
| GR/S69979/02 | Network: RefineNet | (P) |
| GR/T08630/01 | Research Induction and Training Package at Integrated Formal Methods 2004 | (C) |
| GR/S69979/01 | Network: RefineNet | (P) |
| GR/R43150/01 | NETWORK: Formal Methods and Testing (FORTEST) | (C) |
| GR/N04256/01 | A CONSTRUCTIVE FRAMEWORK FOR PARTIAL SPECIFICATION | (C) |
| GR/M69500/01 | DESIGN SUPPORT ENVIRONMENTS FOR DISTRIBUTED SYSTEMS | (C) |
| GR/L95878/01 | ODP VIEWPOINTS IN A DEVELOPMENT FRAMEWORK | (P) |
| GR/L28890/01 | A SPECIFICATION ARCHITECTURE FOR THE VALIDATION OF REAL-TIME AND STOCHASTIC QUALITY OF SERVICE | (P) |
| GR/K13035/01 | CROSS VIEWPOINT CONSISTENCY IN OPEN DISTRIBUTED PROCESSING | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|