%%\REM{The individual members are described in section 3.5, there is no
% need to repeat that information there.
%Describe the consortium. How will it match the project's objectives
%and bring together the necessary expertise? How do the members
%complement one another?
%In what way does each of them contribute to the project? Show that
%each has a valid role and adequate resources in the project to fulfil
%that role.
%If applicable, describe the industrial/commercial involvement in the
%project and explain why this is consistent with and will help to
%achieve the specific measures which are proposed for exploitation of
%the results of the project.
%}
\newt{The members of the consortium are chosen to provide the best
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 \zxcalculus.
%They also contributed greatly to community building.
\TODOb{Do we think it's really good to say we are the Oxford mafia?
Also i had two other positions between Oxford and CQC -rd}
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 CQC. Duncan, Horsman, Kissinger and Perdrix were postdocs at Oxford before moving to CQC, Grenoble, Nijmegen and Nancy respectively. Sainz has a long-standing collaboration with members of the Oxford Group, and organised Quantum Physics and Logic X, the main conference for \zxcalculus alike research, while at Barcelona. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group.
Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of \zxcalculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to \zxcalculus. 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 now provide details on each of these.
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 \zxcalculus\cite{1367-2630-16-9-093021, Jeandel2017A-Complete-Axio, HFW}. Coecke pioneered general categorical and diagrammatic methods in quantum computing \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}.
The team consists of:
\begin{description}
\item[{\bf Univ.~Grenoble (coordinator):}] Dr Dominic Horsman.
\item[{\bf Univ.~Lorraine; LORIA; LRI:}] Dr Simon Perdrix, Prof.~Emmanuel Jeandel, Dr Beno\^it
Valiron.
\item[{\bf Univ.~Oxford:}] Prof.\ Bob Coecke, Dr Miriam Backens, Dr Niel de Beaudrap, Dr Quanlong Wang.
\item[{\bf Cambridge Quantum Computing Ltd.:}] Dr Ross Duncan, Mr Will Simmons.
\item[{\bf Univ.~Gdansk / ICTQT:}] Dr Ana Bel\'en Sainz.
\item[{\bf Radboud Universiteit Nijmegen:}] Dr Aleks Kissinger, Kang Feng Ng.
\end{description}
These members include the pioneers of \zxcalculus\cite{Coecke:2009aa}, those who proved its completeness \cite{1367-2630-16-9-093021,Jeandel2017A-Complete-Axio,HFW}, as well as those that proposed the exploitation of \zxcalculus in quantum technologies \cite{Duncan:2010aa, Horsman:2011lr, Chancellor2016Coherent-Parity, BH-2017, DKPdW-2019} (incl.~translations between different computational models, error-correction/lattice surgery, circuit optimisation). Hence, the consortium includes all leading researchers on \zxcalculus. CQC is moreover the world-leading quantum computing company on compiler design. Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which helped in setting the state-of-the-art in circuit optimization \cite{DKPdW-2019}. We also include pioneers in quantum
programming languages (Valiron), important contributors to MBQC \cite{Duncan:2010aa} and
quantum circuits (Jeandel).
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, as they already have in setting the state-of-the-art in circuit optimization \cite{DKPdW-2019}.
Consequently, members have a long history of collaboration. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group. Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of \zxcalculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to \zxcalculus. Quantum compilation is moreover the key focus of CQC. Several members are part of the NQIT Quantum Technologies Hub.
We also include pioneers in {\bf quantum
programming languages} (Valiron), important contributors to the
theory of {\bf MBQC} (Perdrix, de Beaudrap, and Duncan) and
{\bf quantum circuits} (Jeandel). }
%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} \newt{More recently, the several members are
%involved in the Compositionality community, which has diagrammatic/categorical reasoning as its core focus, with a new journal, a new conference series, and a new workshop series.}
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}\newt{More recently, the several members are
involved in the Compositionality community, which has diagrammatic/categorical reasoning as its core focus, with a new journal, a new conference series, and a new workshop series.}
\TODOb{Keeping any of this? Introducing anything else?}
\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 (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
%\TODOb{Keeping any of this? Introducing anything else?}
%\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 (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
%\REM{From cyril to address industrial/commericial}
%Bull brings expertise in high performance simulation as well as
