Details of Grant 

EPSRC Reference:	EP/Y004736/1
Title:	Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
Principal Investigator:	Kissinger, Dr A
Other Investigators:	Melham, Professor T
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of Oxford
Scheme:	Standard Research
Starts:	01 June 2023	Ends:	31 March 2025	Value (£):	277,429
EPSRC Research Topic Classifications:
EPSRC Industrial Sector Classifications:	R&D
Related Grants:	EP/Y004493/1 EP/Y004140/1
Panel History:	Panel Date Panel Name Outcome 25 Apr 2023 Software Enabled Quantum Computation Announced
Summary on Grant Application Form
Like classical computers, quantum computers need compilers, which are tools that translate code written by a human into something the machine can run. Unlike classical computers, today's quantum computers have extremely limited computational resources and are highly susceptible from noise from the environment. Furthermore, it is often impractical or impossible to implement a computation exactly, meaning quantum compilers need to make certain approximations, which can yield further errors. In this project, we will develop the next generation of quantum compilers which are able to understand, and tame, these many sources of errors, and produce efficient software with independently-checkable guarantees of reliable performance.
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.ox.ac.uk