Details of Grant 

EPSRC Reference:	EP/R032971/1
Title:	Verifiably Correct Transactional Memory
Principal Investigator:	Batty, Professor M
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Computing
Organisation:	University of Kent
Scheme:	Standard Research
Starts:	01 September 2018	Ends:	31 August 2022	Value (£):	82,904
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Electronics Information Technologies Education
Related Grants:	EP/R032556/1 EP/R032351/1
Panel History:	Panel Date Panel Name Outcome 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