EPSRC logo

Details of Grant 

EPSRC Reference: EP/Y005244/1
Title: Verified Simulation for Large Quantum Systems (VSL-Q)
Principal Investigator: Mousavi, Professor M
Other Investigators:
Bhaseen, Dr MJ Booth, Dr G H Yoshida, Professor N
Researcher Co-Investigators:
Project Partners:
BT Cambridge Quantum Computing Limited
Department: Informatics
Organisation: Kings College London
Scheme: Standard Research
Starts: 01 June 2023 Ends: 31 March 2025 Value (£): 620,778
EPSRC Research Topic Classifications:
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:
Panel DatePanel NameOutcome
25 Apr 2023 Software Enabled Quantum Computation Announced
Summary on Grant Application Form
Programming classical computers has become a popular practice thanks to high-level programming languages and compilers which enable the running

of high-level programs on different computing platforms. For critical applications, we now have verified compilation schemes and certified

compilers which ensure the correctness of the compiled executions. This is done by reference to a mathematical model of the high-level code. In

this project we will establish such a promising trajectory for quantum computing, taking into account the subtle features of quantum computers.

This will be achieved by bringing together expertise in software testing and quantum simulation. The results of this research will lead to verified software for quantum computing applications and consequently, to wide-spread and effective exploitation of quantum computing.

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: