@@ -769,15 +769,26 @@ DZXC significantly advances the state-of-the-art across six of the seven expecte
understanding of systems and protocols for manipulating and
exploiting quantum information ---\!\!}
\TODOb{This paragraph still needs updating}
This project will take practical insights into the workings of diverse quantum technologies, along with fundamental techniques in quantum information processing, and embody them in the \newt{\dzxc system}. By embodying this expertise in \newt{a compiler system}, practitioners can employ push-button optimisations and fault-tolerant transformations of programs \newt{during compilation without needing} a deep understanding of the underlying theoretical techniques, effectively making these techniques available to a broader audience.
The \newt{\dzxc system will compile from high-level (algorithmic) to low-level (physical) representations, allowing programmers to write at a highlevel for any hardware and any quantum error correcting technology.}
For instance, causal and topological structure is a crucial restriction on what can be processed in networked computing, \newt{the \dzxc system will be able to take this into account when compiling.}
%The project will \textbf{develop a deeper fundamental and practical understanding} of systems for quantum information processing.
This project will take practical insights into the workings of different quantum technologies, along with fundamental techniques in quantum information processing, and embody them in the \newt{\dzxc system}.
We will develop a deep quantum compiler that can take input in a variety of high-level quantum programming languages, automatically add error correction, optimise the process, and output machine instructions adapted for different devices.
Creating such a system necessarily will produce foundational insights into the operation and capability of quantum devices, and quantum information processing as a physical process.
The project also includes the ability to interface with current models of quantum computing (the circuit and one-way models), and will enable new hybrid procedures to be developed that include elements of both (as well as potentially new forms of information processing represented in \newt{the annotated \zxcalculus}).
Furthermore, developing recursion within the language will extend our understanding of quantum causality.
An exciting element of the project is isolating a set of demonstrably-quantum resources, and then using these to confirm the presence of quantum speed-up. This will give significant insight into what is possibly `the' foundational question of quantum computing.
The result of this project will be a step-change in our ability to describe how different quantum technologies store and manipulate quantum information, and to design protocols that use their specific abilities.
% By embodying this expertise in \newt{a compiler system}, practitioners can employ push-button optimisations and fault-tolerant transformations of programs \newt{during compilation without needing} a deep understanding of the underlying theoretical techniques, effectively making these techniques available to a broader audience.
%
%The \newt{\dzxc system will compile from high-level (algorithmic) to low-level (physical) representations, allowing programmers to write at a high level for any hardware and any quantum error correcting technology.}
%For instance, causal and topological structure is a crucial restriction on what can be processed in networked computing, \newt{the \dzxc system will be able to take this into account when compiling.}
%The project also includes the ability to interface with current models of quantum computing (the circuit and one-way models), and will enable new hybrid procedures to be developed that include elements of both (as well as potentially new forms of information processing represented in \newt{the annotated \zxcalculus}).
%The result of this project will be a step-change in our ability to describe how different quantum technologies store and manipulate quantum information, and to design protocols that use their specific abilities.
\paragraph{Enhance the robustness and scalability of quantum
information technologies in the presence of environmental
