Details of Grant 

EPSRC Reference:	EP/T014512/1
Title:	Session Types for Reliable Distributed Systems (STARDUST)
Principal Investigator:	Bocchi, Dr L
Other Investigators:	Thompson, Professor S
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Computing
Organisation:	University of Kent
Scheme:	Standard Research
Starts:	01 October 2020	Ends:	30 September 2024	Value (£):	555,120
EPSRC Research Topic Classifications:	Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:	EP/T014628/1 EP/T014709/1
Panel History:	Panel Date Panel Name Outcome 15 Jan 2020 EPSRC ICT Prioritisation Panel January 2020 Announced 06 Nov 2019 EPSRC ICT Prioritisation Panel November 2019 Deferred
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