EPSRC logo
Researcher Details
 
Name: Professor J Derrick
Organisation: University of Sheffield
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/R032351/1 Verifiably Correct Transactional Memory.(P)
EP/R018936/1 Verifiably correct concurrency abstractions(P)
EP/J013714/1 University of Sheffield - Equipment Account(P)
Previous EPSRC Support
EP/R024707/1 Millimetre wave measurement equipment(C)
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/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