Foundations of classical and quantum verifiable computing

Project funded by UK Research and Innovation (UKRI) (UKRI FLF, Fellowship), research institution: University of Warwick. Award value (Gateway to Research): GBP 891,646, as stated by the source. Runs 2020-02-01 to 2023-07-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 'Foundations of classical and quantum verifiable computing' is funded by UK Research and Innovation with an award value of GBP 891,646. It is conducted at the University of Warwick from February 1, 2020, to July 31, 2023. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.