EPSRC logo
Researcher Details
 
Name: Professor G Struth
Organisation: University of Sheffield
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/R032351/1 Verifiably Correct Transactional Memory.(C)
EP/M017044/1 Verifying concurrent algorithms on Weak Memory Models(C)
EP/J003727/1 Verifying Concurrent Lock-free Algorithms(C)
EP/I000887/1 Midlands Graduate School in the Foundations of Computing Science 2010(P)
EP/G031711/1 Higher-order Refinement Techniques for Model Driven Architecture(C)
EP/D079926/1 PhD Training Programme at RelMiCS/AKA 2006(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator