Logics of Quantum Computation : Practical and Verifiable Quantum Programming

Project funded by UK Research and Innovation (UKRI) (EPSRC, Studentship), research institution: IMPERIAL COLLEGE LONDON. Gateway to Research gives no award value above zero for this award (studentships are often listed without one). Runs 2023-10-01 to 2027-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 "Logics of Quantum Computation: Practical and Verifiable Quantum Programming" is funded by UK Research and Innovation and conducted at Imperial College London. It runs from October 1, 2023, to March 31, 2027, with no award value listed. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.