@@ -708,8 +708,8 @@ This will make possible a reduction in the resources used in any particular hard
...
@@ -708,8 +708,8 @@ This will make possible a reduction in the resources used in any particular hard
\TODOb{For some reason physics is missing: CQM/ZX emerged from compositional physical considerations.}
\TODOb{For some reason physics is missing: CQM/ZX emerged from compositional physical considerations.}
As shown the schema at the beginning of \S\ref{sec:summary:-},
As shown the schema at the beginning of \S\ref{sec:summary:-},
the ambitious vertical structure of this project requires a uniquely
the ambitious vertical structure of this project requires a uniquely
diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \newt{\textbf{Quantum Physics},}\textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
This project unites those working in quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
This project unites those working in \newt{quantum physics from operational compositionality, and}quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
hardware, and more generally programming language
hardware, and more generally programming language
design and system engineering.
design and system engineering.
It thus provides a unique opportunity for theoretical insight to inform future technology, and for technological problems to drive future theory.
It thus provides a unique opportunity for theoretical insight to inform future technology, and for technological problems to drive future theory.
