Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

Image: OJB Quantum, CC BY 4.0, via Wikimedia Commons (licence). Cropped and resized. Image credits

UK Research and Innovation (UKRI)
1 Jun 2023 to 31 Mar 2025

Project page and source record Share by email Share on LinkedIn

Part of a joint grant with: University College London; University of Bristol

Participants, websites and capabilities are shown to signed-in members.Sign in or request access

Project funded by UK Research and Innovation (UKRI) (EPSRC, Research Grant), research institution: UNIVERSITY OF OXFORD. Award value (Gateway to Research): GBP 277,428, as stated by the source. Runs 2023-06-01 to 2025-03-31. Source: Gateway to Research (UK Research and Innovation) (national funding data, not CORDIS).

Original source.

Source: Gateway to Research (UK Research and Innovation), UK Research and Innovation (UKRI). Retrieved 2026-10-23. Licence: Open Government Licence v3.0; contains public sector information licensed under the Open Government Licence v3.0. Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Open Government Licence v3.0.

AI-assisted summary: The project "Compilation and Verification of Quantum Software in the Noisy and Approximate Regime" is funded by UK Research and Innovation with an award value of GBP 277,428. It is conducted by the University of Oxford from June 1, 2023, to March 31, 2025. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.

Source: gtr.ukri.org · checked 23 Oct 2026 · AI-assisted summary