EPSRC logo

Details of Grant 

EPSRC Reference: EP/R032971/1
Title: Verifiably Correct Transactional Memory
Principal Investigator: Owens, Dr SA
Other Investigators:
Batty, Dr M
Researcher Co-Investigators:
Project Partners:
Department: Sch of Computing
Organisation: University of Kent
Scheme: Standard Research
Starts: 01 July 2018 Ends: 30 June 2021 Value (£): 82,904
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies Electronics
Education
Related Grants:
EP/R032351/1 EP/R032556/1
Panel History:
Panel DatePanel NameOutcome
01 Mar 2018 EPSRC ICT Prioritisation Panel March 2018 Deferred
02 May 2018 EPSRC ICT Prioritisation Panel May 2018 Announced
Summary on Grant Application Form
No summary is available for this grant.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.kent.ac.uk