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

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/R032971/1 Verifiably Correct Transactional Memory (P) 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