Verified Simulation for Large Quantum Systems (VSL-Q)
Lead Research Organisation:
King's College London
Department Name: Informatics
Abstract
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.
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.
Publications
Abeywickrama D
(2023)
On Specifying for Trustworthiness
in Communications of the ACM
Aceto L
(2023)
The Way We Were: Structural Operational Semantics Research in Perspective
in Electronic Proceedings in Theoretical Computer Science
Fortz S
(2024)
VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs
in Empirical Software Engineering
Peters K
(2024)
Separation and Encodability in Mixed Choice Multiparty Sessions
Peters K
(2024)
Mixed choice in session types
in Information and Computation
Pontolillo G
(2024)
Delta Debugging for Property-Based Regression Testing of Quantum Programs
Sakurai R
(2024)
Comparative study on compact quantum circuits of hybrid quantum-classical algorithms for quantum impurity models
in Physical Review Research
| Description | Scalable Quantum Network Technologies: Collaborative R&D |
| Amount | £1,972,000 (GBP) |
| Organisation | Innovate UK |
| Sector | Public |
| Country | United Kingdom |
| Start | 03/2024 |
| End | 10/2025 |
| Description | Noise-Aware Testing of Large-Scale Quantum Systems, Simula Research Labs, Oslo |
| Organisation | Simula Research Laboratory |
| Country | Norway |
| Sector | Academic/University |
| PI Contribution | We established a strategic research collaboration with Simula Research Labs in Oslo, Norway on noise-aware testing techniques for large-scale quantum systems. This has led to mutual visits (both undertaken and planned) and planned joint research and publications. |
| Collaborator Contribution | Our partners shared their datasets and code for noise-aware testing of quantum systems and in return, we provided properties and code developed in our past research. We are integrating the bodies of knowledge, techniques and tools, to provide a comprehensive noise-aware framework for testing large-scale quantum systems. |
| Impact | Not applicable (yet). |
| Start Year | 2023 |
| Description | Quantum Demystified Podcast |
| Form Of Engagement Activity | Engagement focused website, blog or social media channel |
| Part Of Official Scheme? | No |
| Geographic Reach | International |
| Primary Audience | Public/other audiences |
| Results and Impact | We have started planning and recording the Quantum Demystified Podcast. So far we have recorded two episodes (involving chemists, computer scientists, physicists, and biologists) and we are about to release the first episode. |
| Year(s) Of Engagement Activity | 2024 |