Timing Constraints in Quantum Programming Languages

Project funded by Fundação para a Ciência e a Tecnologia, I.P. (FCT), grant 2020.05715.BD. Runs 2021-02-01 to 2025-01-31. Source: OpenAIRE Graph, from the funder's project data (collected by OpenAIRE on 2025-07-18); national funding data, not CORDIS. Abstract given by the source: Aside from a few exceptions, quantum programming languages do not possess well-established, formal semantics. This makes difficult to engineer quantum programs and mathematically verify that they behave as expected. Worse than this, the few languages that possess a formal semantics assume an ideal quantum computer, which even though reasonable in the classical case, is and will be too strong for quantum computers in the foreseeable future. The goal of this project is thus to establish formal foundations for quantum programming languages that do not make this assumption. More specifically, the goal is to introduce syntax, semantics, and calculi for quantum programming languages that embed timing constraints – which will allow us to reason about programs constrained by limitations arising from quantum decoherence and/or quantum communication.

Original source.

Source: OpenAIRE Graph: projects of national funders, OpenAIRE, from the project data of Fundação para a Ciência e a Tecnologia, I.P. (FCT). Retrieved 2026-10-28. Licence: Creative Commons Attribution 4.0 (OpenAIRE Graph). Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Creative Commons Attribution 4.0 (CC BY 4.0).

AI-assisted summary: The project "Timing Constraints in Quantum Programming Languages" is funded by FCT and runs from February 1, 2021, to January 31, 2025. It aims to establish formal foundations for quantum programming languages that incorporate timing constraints. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.