@@ -1750,7 +1750,7 @@ Several members have ongoing collaborations with Cambridge Quantum Computing Inc
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}.
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 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}.
...
...
@@ -1885,7 +1885,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
\textbf{Role in Project:} LORIA will develop the front-end compilation of HLLs into \dzxc terms.
As one of the main contributors to the \zxcalculus and expert of 1WQC, LORIA will also play a key role in the development of \dzxc taking into account the different models of computation.
The site provies expertise both in quantum programming
The site provides expertise both in quantum programming
languages and in the \zxcalculus.
The postdoc at LORIA
will spend half of their time on \ref{wp:frontend}, and divide the remaining time equally between the other WPs.
...
...
@@ -2169,6 +2169,15 @@ Access venues. \newt{Evidence of the consortium's commitment to open access is t
\item\textbf{Radboud}: Kissinger holds an Airforce Office of Scientific
Research (AFOSR) grant on graphical calculus and quantum circuit optimisation,
providing him with the resources to contribute to this project. \bR ... Will Zeng's project ... \e
\item\textbf{Loria}: Loria is currently working on the PIA-GDN
\emph{Quantex} project, which focuses on \emph{simulation} of
quantum computers rather than real models.
The team at Loria is also involved in the SoftQPro ANR, which deals with the
development of a new HLL related to quantum computing with a HPC
backend. ZX-Calculus play a lesser role in SoftQpro compared to this project.
\item\bR MORE FROM OTHER SITES!!!\e
% ERC advanced grant ``Quantum Computation,
...
...
@@ -2219,7 +2228,7 @@ industrial partner, several engineers will contribute to the project.
will be contributed by the named staff on the project, all of which
is supported by other sources. This means that almost 40\% of the
research effort of the project is funded from elsewhere.
\item\emph{PhD Students}: at LORIA, Renaud Vilmart will contribute
\item\emph{PhD Students}: at LORIA, Titouan Carette will contribute
approx 9 months to the project; this is funded from other sources.
\item\emph{Engineers}: At Bull, we request 29 person-months for
research engineers, familiar with Bull's HPC systems, and
...
...
@@ -2232,7 +2241,7 @@ industrial partner, several engineers will contribute to the project.
Project workshops serve a key role in intra-project communication,
dissemination, and outreach. We plan one workshop each year, in
Oxford, Nijmegen, and Nancy respectively. Our entire advisory board
Oxford, Nijmegen, and Grenoble respectively. Our entire advisory board
will be invited to these workshops, which increases the cost beyond
the usual expenses of venue hire and speakers' expenses. We have
budgeted \euro 6.5k for the first one\footnote{Included in the
