@@ -1804,39 +1804,47 @@ often and deliver new features more than once a year.
%}
The members of the consortium are chosen to provide the best
combination of skills to deliver this project, having been the pioneers of \zxcalculus\ and its further development, and also having developed applications of \zxcalculus to quantum technologies. Many members also have a long history of collaboration. They also contributed greatly to community building. \bR Several members have been part of the NQIT Quantum Technologies Hub,\footnote{nqit.ox.ac.uk}\e and have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of ZX-calculus Ross Duncan is now the leading researcher at CQC.
combination of skills to deliver this project, including the fathers of \zxcalculus, those who established it as a universal and complete calculus, those who have developed applications of \zxcalculus to quantum technologies, and those who have outperformed all other methods using ZX-calculus.
%They also contributed greatly to community building.
We now provide details on each of these.
Many members also have a long history of collaboration, and in fact have been at different consortium sites at some point of their career, for example Wang was a postdoc at Nancy before moving to Oxford and Oxford and CQC. Duncan, Horsman, Kissinger and Perdrix were postdocs at Oxford before moving to CQC, Grenoble, Nijmegen and Nancy respectively. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk.
\bR Expertise on the
theoretical aspects underpinning the project is provided by the project leader Duncan and
Oxford site leader Coecke who jointly invented the \zxcalculus\ \cite{Coecke:2009aa}. Kissinger,
Perdrix, Horsman and De Beaudrap and many of their students are experts in its further development and
use, for example in translation between different computational models \cite{Duncan:2010aa, Horsman:2011lr}, error-correction \cite{Chancellor2016Coherent-Parity} and lattice surgery \cite{BH-2017}. Abramsky and Coecke are pioneers of high-level methods for
quantum computing more generally. Duncan, Kissinger and Vicary have pioneered automation of diagrammatic reasoning ({\tt quantomatic} and {\tt Globular} respectively), which also will play a key role in this project.
Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of ZX-calculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to ZX-calculus. Quantum compilation is moreover the key focus of CQC. Several members are part of the NQIT Quantum Technologies Hub.\footnote{nqit.ox.ac.uk}
We include pioneers in quantum
%We now provide details on each of these.
\TODOb{Probably missing some papers here.}
Expertise on the
{\bf theoretical aspects} underpinning the project is provided by Oxford site leader Coecke and CQC research leader Duncan
who jointly invented the \zxcalculus\ \cite{Coecke:2009aa}. Backens, Perdrix, Jeandel and Wang are the key contributors to establishing universal completeness of ZX-calculus \cite{1367-2630-16-9-093021, Jeandel2017A-Complete-Axio, HFW}. Coecke pioneered general categorical and diagrammatic methods in quantum commuting \cite{AbrCoe:CatSemQuant:2004}, and with Kissinger co-authored the textbook of the field \cite{Coecke2017Picturing-Quant}.
Expertise on {\bf quantum technology applications} is provided by those who pioneered these applications. Duncan, Perdrix and Horsman pioneered ZX-based translations between different computational models \cite{Duncan:2010aa, Horsman:2011lr}, Horsman and Kissinger pioneered ZX-based error-correction \cite{Chancellor2016Coherent-Parity}, and Horsman and de Beaudrap demonstrated the equivalence of ZX-rules and lattice surgery \cite{BH-2017}.
Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which also will play a key role in this project.
\bR ... recent {\bf outperforming} work ... \e
\bR We include pioneers in quantum
programming languages (Valiron) and important contributors to the
theory of MBQC (Perdrix, de Beaudrap, Benjamin, and Duncan) and
theory of MBQC (Perdrix, de Beaudrap, and Duncan) and
quantum circuits (Jeandel). The consortium includes experts in
classical simulation (Allouche), quantum error correction (Horsman, Benjamin), and in quantum architecture (Benjamin,
de Beaudrap), whose expertise is bolstered by the members of our
world-leading advisory board.
classical simulation (Allouche), whose expertise is bolstered by the members of our
world-leading advisory board. \e
We include experienced co-ordinators of
large multi-site projects (Abramsky, Benjamin, Coecke), %Jacobs
and in particular, Benjamin and Coecke have led large-scale project in quantum computing.
\bR The consortium has also been instrumental in community building, for example with the QPL conference series which now attracts well over 100 participants every year and approx.~75 paper submissions on foundational and structural research in the area of quantum computing. It also has organised several schools e.g.~the QiCS School\footnote{www.cs.ox.ac.uk/people/bob.coecke/QICS$\underline{\ }$School.html} and the CAP Spring School,\footnote{www.cs.ox.ac.uk/ss2014/} and a substantial talks archive is maintained.\footnote{www.youtube.com/user/OxfordQuantumVideo}\e
Of utter importance is the alignment with Networked Quantum Information Technologies Hub (NQIT) at the Oxford site, which means that several members of the consortium have already direct expertise with interacting with quantum hardware (Benjamin, de Beaudrap, Horsman). The NQIT is the largest of the four Hubs in the UK National Quantum Technology Programme, a 270 GBP million investment by the UK government to establish a quantum technology industry in the UK. %We are working towards building a quantum computer demonstrator, the Q20:20 engine, which demonstrates a networked, hybrid light-matter approach to quantum information processing.
Concretely, the most important aspect is the fact that the modular architecture motivated using lattice surgery on surface codes for the logical operations, and that these are in effect \zx-operations \cite{{BH-2017}}. This will certainly make the ambition here much more achievable.
%and in particular, Benjamin and Coecke have led large-scale project in quantum computing.
\REM{From cyril to address industrial/commericial}
Bull brings expertise in high performance simulation as well as
industrial guidances in software. \REM{more}
\bR Of utter importance is the alignment with Networked Quantum Information Technologies Hub (NQIT) at the Oxford site, which means that several members of the consortium have already direct expertise with interacting with quantum hardware (Benjamin, de Beaudrap, Horsman). The NQIT is the largest of the four Hubs in the UK National Quantum Technology Programme, a 270 GBP million investment by the UK government to establish a quantum technology industry in the UK. %We are working towards building a quantum computer demonstrator, the Q20:20 engine, which demonstrates a networked, hybrid light-matter approach to quantum information processing.
Concretely, the most important aspect is the fact that the modular architecture motivated using lattice surgery on surface codes for the logical operations, and that these are in effect \zx-operations \cite{{BH-2017}}. This will certainly make the ambition here much more achievable. \e
The consortium has also been instrumental in community building, for example with the QPL conference series which now attracts well over 100 participants every year and approx.~75 paper submissions on foundational and structural research in the area of quantum computing. It also has organised several schools e.g.~the QiCS School\footnote{www.cs.ox.ac.uk/people/bob.coecke/QICS$\underline{\ }$School.html} and the CAP Spring School,\footnote{www.cs.ox.ac.uk/ss2014/} and a substantial talks archive is maintained.\footnote{www.youtube.com/user/OxfordQuantumVideo}
%\REM{From cyril to address industrial/commericial}
%Bull brings expertise in high performance simulation as well as
