EPSRC logo

Details of Grant 

EPSRC Reference: EP/M016994/1
Title: Homotopy Type Theory: Programming and Verification
Principal Investigator: Altenkirch, Dr T
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: School of Computer Science
Organisation: University of Nottingham
Scheme: Standard Research
Starts: 01 April 2015 Ends: 31 March 2019 Value (£): 408,815
EPSRC Research Topic Classifications:
Computer Sys. & Architecture Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/M016951/1 EP/M01729X/1
Panel History:
Panel DatePanel NameOutcome
20 Oct 2014 EPSRC ICT Prioritisation Panel - Oct 2014 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.nott.ac.uk