diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index c833d7023fd82419185384286aad6c841392d765..6b5ccc6299053450d224bcd226eb8afd2aecb922 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -964,7 +964,7 @@ The primary means of dissemination will be by publishing our results
in leading journals and conferences, with a strong preference for open access
venues. (We note that in computer science, the highest impact
publication venues are conferences with published proceedings.)
-%We will target:
+%We will target:
\begin{itemize}
\item Specialist quantum information venues: \emph{Quantum Information
and Computation} (QIC), \emph{Quantum Information Processing}
@@ -1043,18 +1043,16 @@ open-source basis with a permissive license (See \S~\ref{sec:cons-agre}.) \e
\paragraph{Communication.\!\!}
-%Beyond open access publishing and open source software,
-\oldt{
-To communicate of our work to a wider audience, and to take advantage
-of wide public interest in quantum technology, we will perform a
-variety of outreach activities. Firstly, we will adopt ``open
-lab-book'' research, publishing work-in-progress on a project wiki,
-and articles aimed at a general audience on a project
-blog.\footnote{The success of \emph{Graphical linear algebra}
- (\href{http://graphicallinearalgebra.net}{\color{blue} graphicallinearalgebra.net}, 217K visitors since 2015) demonstrates there is a clear audience for such works.}
-To allow end-users to experiment with \azx, Bull will
-provide an HPC simulator with a publicly accessible front end, which
-will also be incorporated into the project website.
+%To communicate of our work to a wider audience, and to take advantage
+%of wide public interest in quantum technology, we will perform a
+%variety of outreach activities. Firstly, we will adopt ``open
+%lab-book'' research, publishing work-in-progress on a project wiki,
+%and articles aimed at a general audience on a project
+%blog.\footnote{The success of \emph{Graphical linear algebra}
+% (\href{http://graphicallinearalgebra.net}{\color{blue} graphicallinearalgebra.net}, 217K visitors since 2015) demonstrates there is a clear audience for such works.}
+%%To allow end-users to experiment with \azx, Bull will
+%%provide an HPC simulator with a publicly accessible front end, which
+%%will also be incorporated into the project website.
Beyond online self-publishing we will also pitch articles to magazines
aimed at a general audience in several languages. We will
@@ -1062,17 +1060,17 @@ specifically target:
\begin{itemize}
\item English: \emph{Communications of the ACM}, \emph{IEEE Computer},
\emph{Physics Today}, \emph{Nautilus}, \emph{Quanta}, \emph{Aeon},
- \emph{Ars Technica}, \emph{New Scientist}.
+ \emph{Ars Technica}, \emph{New Scientist}, \emph{FQXi blog}.
\item French: \emph{La Recherche}, \emph{Pour la Science}, and
\emph{Interstices}.
\item Dutch: \emph{Kijk Magazine}, \emph{Quest}, and the dutch edition
of the \emph{New Scientist}.
\end{itemize}
Several of members of the consortium have had their work featured in
-these publications before. In addition, the \azx system itself will
-also be routinely presented in any industrial or public engagement
-events which touch on the software tools used by NQIT.
-}
+these publications before.
+%In addition, the \azx system itself will
+%also be routinely presented in any industrial or public engagement
+%events which touch on the software tools used by NQIT.
\paragraph{Advisory Board:\!\!}
\label{sec:advsiory-board}
@@ -1192,6 +1190,9 @@ collaboration is a strong point of this project.
}
\newpage
+
+\def\partnerref#1{{\hypersetup{hidelinks}\ref{#1}}}
+
\subsection{Work Packages \REM{1page per WP}}
\label{sec:work-packages}
@@ -1229,8 +1230,8 @@ collaboration is a strong point of this project.
% goals of the project,
% %
% }
- \WPtask[\label{task:HHL}]{Front-end (M3--M36; responsible 3;
- involved 2,4,5) }{%
+ \WPtask[\label{task:HHL}]{Front-end (M3--M36; responsible \partnerref{partner:loria};
+ involved \partnerref{partner:oxford},\partnerref{partner:CQC},\partnerref{partner:gdansk}) }{%
Propose compiler front-ends from known HLLs such as QASM, Quipper
or \Qsharp to \dzxc. This task serves as a test-bed
for~\ref{task:trans1} and~\ref{task:testBench}. It will make
@@ -1244,7 +1245,7 @@ collaboration is a strong point of this project.
%
}
\WPtask[\label{task:trans1}]{Open API for \dzxc (M1--M36;
- responsible 3; involved 2,4,5)}{%
+ responsible \partnerref{partner:oxford}; involved \partnerref{partner:loria},\partnerref{partner:CQC},\partnerref{partner:gdansk},\partnerref{partner:radboud})}{%
Develop an open API for the description of ZX terms. While
largely technical, it is% nonetheless
essential as it will be used
@@ -1259,7 +1260,7 @@ collaboration is a strong point of this project.
%
}
\WPtask[\label{task:testBench}]{Open test-suite (M3--M36;
- responsible 3; involved 2,4,5) }{%
+ responsible \partnerref{partner:oxford}; involved \partnerref{partner:loria},\partnerref{partner:CQC},\partnerref{partner:gdansk}) }{%
Devise test-suite of concrete instances of circuits and
algorithms to rate success of other WPs. This includes the task of protocol extraction from current known HLLs.
The tests will rate various aspects of algorithms, such as controls, manipulation of
@@ -1268,7 +1269,7 @@ Devise test-suite of concrete instances of circuits and
%
}
\WPtask[\label{task:circuit-model}]{Idealised quantum circuits
- (M1--M9; Responsible 2; Involved: 1,3,4)}{%
+ (M1--M9; Responsible \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:CQC})}{%
Translate an \zx term to an equivalent quantum circuit with ideal
gates. This will require algorithms for discovering a suitable
causal ordering on the \zx term, and for decomposing it into
@@ -1276,7 +1277,7 @@ Devise test-suite of concrete instances of circuits and
circuits with constrained width, depth and/or layout. %The output format will be QASM \cite{Cross2017Open-Quantum-As}, suitable to run on a simulator.
}
\WPtask[\label{task:mbqc-model}]{Idealised
- 1-Way Quantum Computation (M1--M12; Responsible 3; Involved: 1,2)}{%
+ 1-Way Quantum Computation (M1--M12; Responsible \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford})}{%
Translate a \zx term to a runnable 1WQC
\cite{Raussendorf-2001} with ideal measurements and state
preparation. Since every term of the \zxcalculus can be trivially
@@ -1285,7 +1286,7 @@ Devise test-suite of concrete instances of circuits and
and topology of the underlying graph states, and limits on the
number of measurement rounds. The output
language will be the Measurement Calculus \cite{DanosV:meac}.}
- \WPtask[\label{task:backendapi}]{Back-end API (M24--M36 Responsible: 5; Involved: 1,2,3,4)}{%
+ \WPtask[\label{task:backendapi}]{Back-end API (M24--M36 Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford},\partnerref{partner:CQC})}{%
Open specification of an API for back-end modules, facilitating third-party development of specifications of target architectures, providing the \dzxc compiler with extendability to arbitrary hardware platforms.
% \BREM{
% Define open API for back-end modules.}
@@ -1315,32 +1316,32 @@ Devise test-suite of concrete instances of circuits and
%%%
\begin{WP}{Representation, reasoning, and resources in \zx}{1M}{36M}{wp:backends}
\WPleaderPOL
-\WPeffort{\newt{12}}{\newt{4}}{\newt{14}}{\newt{4}}{\newt{42}}{\newt{6}}
+\WPeffort{\newt{12}}{\newt{12}}{\newt{14}}{\newt{4}}{\newt{42}}{\newt{6}}
\begin{WPaim}
%We build the theoretical foundations for \zx as an intermediate representation. This includes extending the capabilities of \zx to represent mixed states, qudit states, and control flows. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
We build the theoretical foundations for \zx as an intermediate representation. This includes extending the capabilities of \zx to represent qudit states with a fixed $d$, arbitrary finite-dimensional quantum states, and control flows. We explore the structure of W-type tensors with interaction with \zx generators of GHZ-type. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
\end{WPaim}
\begin{WPtasks}
\WPtask[\label{task:axioms}]{Beyond qubits and stabilisers
- \newt{ (M1--M14; Responsible: 3; Involved: 2,5)}}{%
+ \newt{ (M1--M14; Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:loria},\partnerref{partner:gdansk})}}{%
%We will exploit further the recent completeness results to give representations for mixed state qubit quantum theory. We will
%extend the \textsc{zx} tensor formalism from the qubit domain to higher dimensions.
We will extend the completeness results of the \textsc{zx}-calculus from the qubit domain to higher dimensions, to have complete qudit \textsc{zx}-calculus. Furthermore, we will combine all the qudit \textsc{zx}-calculus into a single framework so that we can deal with the whole finite-dimensional quantum theory in a \textsc{zx} style. In addition, we will exploit techniques from the \textsc{zw}-calculus to understand the deep structure of W-type tensors.
% and exploit the translation from \textsc{zx}- to \textsc{zw}-calculus.
}
\WPtask[\label{task:betterboxes}]{Control in \zx
- \newt{ \ (M1--M18; Responsible: 5; Involved: 1,2,3)}}{%
+ \newt{ \ (M1--M18; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford})}}{%
% Support simple control flow at the level of \azx, making it a more suitable target for compiling from a high-level language. In particular, add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits.
We will use parametric \zx terms to support simple control flow at the level of the \dzxc system, making it a more suitable target for compiling from a high-level language. In particular, we will add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits.
}
\WPtask[\label{task:resources}]{Resources and axioms
- \newt{ (M1--M36; Responsible: 5; Involved: 1,2,3)}}{%
+ \newt{ (M1--M36; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford})}}{%
We will exploit the three axiom sets for Clifford, Clifford+T, and universal qubit QM,
to identify and distill specific resources that are necessary to quantum speed-up. In particular, to focus on finding multiple resource elements (rather than simply magic states), and to characterise post-classical composition as a resource.
This includes developing \zx representations of contextuality, as a possible post-classical resource.
}
\WPtask[\label{task:resourcesagain}]{Computational resources
- \newt{ (M12--M36; Responsible: 5; Involved: 1,3,4,6)}}{%
+ \newt{ (M12--M36; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:CQC},\partnerref{partner:radboud})}}{%
We will use the existing graph re-writing and automated theorem proving tools of Quantomatic and PyZX to determine parts of the re-writing process that are difficult to compute classically. This will then be used to extract candidate subroutines for sources of quantum speed-up. Along with the previous task, these will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up or not.
}
@@ -1364,7 +1365,7 @@ We will use the existing graph re-writing and automated theorem proving tools of
%%%
\begin{WP}{Machine-independent optimisation}{M1}{M36}{wp:theory}
\WPleaderOXF
- \WPeffort{\newt{12}}{\newt{10}}{\newt{30}}{\newt{12}}{\newt{12}}{\newt{12}}
+ \WPeffort{\newt{12}}{\newt{9}}{\newt{30}}{\newt{12}}{\newt{12}}{\newt{12}}
\begin{WPaim}
We develop practical logical and algorithmic techniques for transforming ``abstract'' \zx terms produced from a high-level program in ways
which will be required by any practical compiler, and reasoning about their properties. Examples include:
@@ -1374,7 +1375,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
\end{WPaim}
\begin{WPtasks}
\WPtask[\label{task:algorithms}]{Reduction strategies, algorithms,
- and complexity (M1--M24; \newt{Responsible: 6; Involved: 2, 3, 4})}{%
+ and complexity (M1--M24; \newt{Responsible: \partnerref{partner:radboud}; Involved: \partnerref{partner:loria}, \partnerref{partner:oxford}, \partnerref{partner:CQC}})}{%
Develop new strategies for simplifying \textsc{zx}-style tensor
networks and reducing to (pseudo) normal forms, with the help of
automated techniques such as Knuth-Bendix completion and
@@ -1383,14 +1384,14 @@ We develop practical logical and algorithmic techniques for transforming ``abst
}
\WPtask[\label{task:annotate1}]{Topological and causal constraints
- (M1--M18; \newt{Responsible: 3; Involved: 4,6})}{%
+ (M1--M18; \newt{Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{%
Extend \dzxc language and tools to express and enforce: (1) topological
constaints, such as nearest-neighbour connectivity of qubits and
(2) causal/temporal constraints, such as sequential ordering of
measurements and classically-controlled operations.
}
\WPtask[\label{task:annotate2}]{Quantitative Properties (M13--M24;
- \newt{Responsible: 4; Involved: 3, 4, 6})}{%
+ \newt{Responsible: \partnerref{partner:CQC}; Involved: \partnerref{partner:oxford}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{%
Extend \dzxc language and tools to account for several kinds of
numerical annotations, e.g.~timing data related to performing
operations, gate fidelities, channel fidelities, and decoherence
@@ -1400,7 +1401,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
quantities from local to global properties.
}
\WPtask[\label{task:basic-opt}]{Generic optimisations of ZX-terms
- (M12--M24; \newt{Responsible: 3; Involved: 2, 4, 6})}{%
+ (M12--M24; \newt{Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{%
Use the results of task~\ref{task:algorithms} to develop
procedures to optimise \zx-terms, in a way which is applicable
for families of circuits (e.g.~Clifford, Clifford+T, CNOT+T,
@@ -1412,7 +1413,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
}
%%
\WPtask[\label{task:ECC}]{Application of Error-Correction
- (M1--M24; \newt{Responsible: 3; Involved: 1, 5})}{%
+ (M1--M24; \newt{Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:grenoble}, \partnerref{partner:gdansk}})}{%
Develop algorithms which rewrite abstract tensor networks to
equivalent tensors in codeword space of a chosen
error-correcting code. This may be combined with additional
@@ -1453,14 +1454,14 @@ Perdrix, Valiron, Carette.}
%%%
\begin{WP}{Machine-dependent optimisation}{1M}{36M}{wp:usefulstuff}
\WPleaderGREN
- \WPeffort{0}{0}{0}{0}{\newt{6}}{0}
+ \WPeffort{0}{9}{0}{0}{\newt{6}}{0}
\begin{WPaim}
We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon quantum dot devices developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \ldots.
Also machine-dependent error correction here?
\end{WPaim}
\begin{WPtasks}
-\WPtask[\label{task:qdot-model}]{Grenoble quantum dots (M13--M36 Responsible: 2;
- Involved: 1,5)}{
+\WPtask[\label{task:qdot-model}]{Grenoble quantum dots (M13--M36 Responsible: \partnerref{partner:grenoble};
+ Involved: \partnerref{partner:loria},\partnerref{partner:gdansk})}{
We will model the quantum dot device being developed in Grenoble, and extract specific annotations for
\zx that describe key elements of the architecture. This will
include qubit layout on wafers, network connectivity, and timing
@@ -1469,13 +1470,13 @@ Also machine-dependent error correction here?
instructions -- output language to be defined in collaboration with
the team at LETI.
}
-\WPtask[\label{task:NQIT-model}]{Oxford ion traps (M13--M30 Responsible: 5;
- Involved: 1,2)}{%
+\WPtask[\label{task:NQIT-model}]{Oxford ion traps (M13--M30 Responsible: \partnerref{partner:gdansk};
+ Involved: \partnerref{partner:grenoble})}{%
In collaboration with the Oxford ion trap group and the NQIT team, we will design an output module which generates code for a realistic model of
ion trap quantum computers, including qubit losses and leakage, gate
timings, and circuit layout. Output language to be defined in collaboration with hardware experts at Oxford.}
\WPtask[\label{task:runnable}]{Formatting for target systems
- (M15--M30; Responsible: 2; Involved: 1,3,5)}{%
+ (M15--M30; Responsible: \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:gdansk})}{%
Develop algorithms which, given a collection of constraints
representing a machine model
(c.f.~\ref{task:annotate1}, \ref{task:annotate2}), re-writes \dzxc terms
@@ -1484,7 +1485,7 @@ Also machine-dependent error correction here?
}
%%
\WPtask[\label{task:opt-machine}]{Model-guided optimisation
- (M21--M36; Responsible: 5; Involved: 1,2,3)}{%
+ (M21--M36; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford})}{%
Develop procedures to optimise \zx-terms subject to a machine
model, within the confines of
an annotation system for a particular hardware platform
@@ -1522,22 +1523,22 @@ Staton, Carette.}
\end{WPaim}
\begin{WPtasks}
\WPtask[\label{task:admin}]{Project administration (M1--M36;
- responsible 1; involved 2,3,4,5)}{Global administration and
+ responsible \partnerref{partner:grenoble}; involved \partnerref{partner:loria},\partnerref{partner:oxford},\partnerref{partner:CQC},\partnerref{partner:gdansk})}{Global administration and
project coordination.}
\WPtask[\label{task:website}]{Creation and maintenance of project
- website (M1--M36; responsible 1; involved 2,3,4,5)}{As part of
+ website (M1--M36; responsible \partnerref{partner:grenoble}; involved \partnerref{partner:loria},\partnerref{partner:oxford},\partnerref{partner:CQC},\partnerref{partner:gdansk})}{As part of
our commitment to open science, we will create and maintain a
unified website for the project, including latest scientific
works, downloadable software, end-user documentation, and
popularising articles aimed at a general audience.}
\WPtask[\label{task:wkshopone}]{Kick off meeting (M1--M2;
- responsible 2; involved 1)}{Project workshop to define
+ responsible \partnerref{partner:loria}; involved \partnerref{partner:grenoble})}{Project workshop to define
state of the art, establish plans for the next year.}
\WPtask[\label{task:wkshoptwo}]{Midpoint meeting (M17--M18;
- responsible 5; involved 1)}{Project workshop to disseminate
+ responsible \partnerref{partner:gdansk}; involved \partnerref{partner:grenoble})}{Project workshop to disseminate
initial results, evaluate progress and determine next steps.}
\WPtask[\label{task:wkshopthree}]{Final meeting and school (M33--M36;
- responsible 3; involved 1,5)}{Project workshop and school to disseminate
+ responsible \partnerref{partner:oxford}; involved \partnerref{partner:grenoble},\partnerref{partner:gdansk})}{Project workshop and school to disseminate
project results.}
\end{WPtasks}
\begin{WPdeliverables}
@@ -1569,12 +1570,12 @@ Staton, Carette.}
& \ref{wp:admin}
& \textbf{TOTAL} \\\hline
1. Grenoble & 0 & \newt{12} & \newt{12} & 15 & 3 & 48 \\\hline
-2. LORIA & 14 & \newt{4} & \newt{10} & 9 & 3 & 47 \\\hline
+2. LORIA & 14 & \newt{12} & \newt{9} & 9 & 3 & 47 \\\hline
3. Oxford & 32 & \newt{14} & \newt{30} & 18 & 2 & 84 \\\hline
4. CQC & 5 & \newt{4} & \newt{12} & 5 & 1 & 29 \\\hline
5. Gdansk & \newt{12} & \newt{42} & \newt{12} & \newt{6} & \newt{4} & \newt{76} \\\hline
6. Nijmegen & 3 & \newt{6} & \newt{12} & 21 & 2 & 51 \\\hline
-\textbf{TOTAL}& 47 & \newt{82} & \newt{82} & 75 & 11 & 299 \\\hline
+\textbf{TOTAL}& 47 & \newt{90} & \newt{81} & 75 & 11 & 299 \\\hline
\end{tabular}
\end{center}\e
@@ -1835,6 +1836,7 @@ Concretely, the most important aspect is the fact that the modular architecture
\subsection{Description of the consortium \REM{(1 page each)}}
\label{sec:descr-cons}
+\newcounter{partners}
\REM{Describe expertise and role in the project for each partner
(templates provided). The information provided here will be used to
judge the operational capacity. Use the following templates for the
@@ -1842,7 +1844,7 @@ Concretely, the most important aspect is the fact that the modular architecture
requesting funding if any. If the project relies on input to be
provided by a third party, append a letter of commitment at the end
of the proposal}
-
+
%%%% Grenoble
\fbox{
\begin{minipage}{1.0\linewidth}
@@ -1850,6 +1852,7 @@ Concretely, the most important aspect is the fact that the modular architecture
\textbf{Partner 1} & University of Grenoble\\
Project Coordinator & Laboratoire Informatique de Grenoble \end{tabular}
\vspace{1mm}\hrulefill\vspace{1mm}
+\refstepcounter{partners}\label{partner:grenoble}
\textbf{Expertise:}
@@ -1879,6 +1882,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
\newpage
%%%% LORIA + LRI
+
\fbox{
\begin{minipage}{1.0\linewidth}
\begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
@@ -1886,6 +1890,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
& LORIA (UMR 7503) \\
& LRI (UMR 8623) ({\small Universit\'e Paris-Sud / CNRS })
\end{tabular}
+\refstepcounter{partners}\label{partner:loria}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:}
@@ -1958,6 +1963,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
\newpage
%%%% Oxford
+
\fbox{
\begin{minipage}{1.0\linewidth}
\begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
@@ -1965,6 +1971,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
& Department of Computer Science
\end{tabular}
\vspace{1mm}\hrulefill\vspace{1mm}
+\refstepcounter{partners}\label{partner:oxford}
\textbf{Expertise:} The now well over 50 members Quantum Group at the Department of Computer Science, founded and led by Abramsky and Coecke has been the world-leading group in the development of high-level computer science methods for quantum computing. It is also the birthplace of \zxcalculus, where most of the completeness result were proven, and where {\tt quantomatic} was mostly developed. Previously they coordinated the FP6 FET Open STREP QICS. The group is part of the NQIT Quantum Technologies Hub and has hosted 8 long-term EPSRC fellowships in the area of Quantum Computing. For a year now the group has an ongoing collaboration with Cambridge Quantum Computing Ltd. The Computer Science Department at Oxford is currently ranked 1st in the world.
@@ -2033,12 +2040,14 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\newpage
%%%% CQC
+
\fbox{
\begin{minipage}{1.0\linewidth}
\begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
\textbf{Partner 4} & CQC\\
& Cambridge Quantum Computing Ltd.
\end{tabular}
+\refstepcounter{partners}\label{partner:CQC}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:} Founded in 2014, Cambridge Quantum Computing
@@ -2118,12 +2127,14 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\newpage%\TODOb{It should be prominently indicated that before the start of the project new team member will be hired who will also contribute, possible by list as member "postdoc TBA", "senior postdoc TBS" etc.}
%%% Gdansk
+
\fbox{
\begin{minipage}{1.0\linewidth}
\begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
\textbf{Partner 5} & University of Gdansk\\
& International Centre for Theory of Quantum Technologies
\end{tabular}
+\refstepcounter{partners}\label{partner:gdansk}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:} The International Centre for Theory of Quantum Technologies (ICTQT) is a newly created research institute, funded by the Foundation for Polish Science, and hosted by the University of Gdansk, which is the pioneering and leading center of quantum information research in Poland. The founders of ICTQT are Marek Zukowski as the director, and Pawel Horodecki as a co-applicant, and the Centre's official foreign partner is IQOQI-Vienna of the Austrian Academy of Sciences. ICTQT aims to address the central theoretical problems of quantum technologies, with emphasis on communication methods and quantum computation. The Centre consists of 7 groups, which cover different aspects of quantum resources, quantum computation and quantum cybersecurity. ICTQT hosts leading experts in the field, including M. Horodecki and M. Pawlowski. The Centre harnesses the knowledge and skills of established researchers with strong track records on quantum information theory and the foundations of quantum mechanics, and combines it with the drive and vision of young researchers. Research highlights of the members of ICTQT include the development of (i) quantum entanglement detection and quantification, (ii) quantum security beyond pure entanglement, (iii) device-independent quantum cryptographic protocols (iv) topological self-correcting memories for quantum computing, and (v) contextuality as a resource for one-way communication.
@@ -2145,12 +2156,14 @@ ICTQT will develop the foundational aspects of ZX. The expertise of Dr.~Sainz on
\newpage
%%% Radboud Nijmegen
+
\fbox{
\begin{minipage}{1.0\linewidth}
\begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
\textbf{Partner 6} & Radboud Universiteit Nijmegen\\
& Institute for Computing and Information Sciences
\end{tabular}
+\refstepcounter{partners}\label{partner:radboud}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:} Situated within the largest digital security group in the Netherlands (50+ members), the Radboud Quantum Group offers strong expertise in the formal mathematical structures underpinning both quantum theory and classical programming languages. It consists of two full-time academics, one postdoc, and two PhD students. The Quantum Group furthermore maintains active relationships with the security group as a whole, including prominent members of the classical and post-quantum cryptography communities (e.g.~Joan Daemen, co-author of the renowned AES cipher; and Peter Schwabe, whose post-quantum key exchange protocol NewHope was recently trialled by Google\footnote{Nick Stratt. Google is working to safeguard chrome from quantum computers. The Verge, July 2016.}).