EPSRC logo
Researcher Details
 
Name: Dr SA Owens
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/R032971/1 Verifiably Correct Transactional Memory(P)
Previous EPSRC Support
EP/N028759/1 Trustworthy refactoring(C)
EP/M017176/1 Verifying concurrent algorithms on Weak Memory Models(P)
EP/K040561/1 Relaxed Memory Model Design for Theory and Practice(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator