| EPSRC Reference: |
EP/Y005244/1 |
| Title: |
Verified Simulation for Large Quantum Systems (VSL-Q) |
| Principal Investigator: |
Mousavi, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| 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: |
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
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: |
|