@@ -825,7 +825,7 @@ This \textbf{enhances interdisciplinarity} and \textbf{crosses traditional bound
With our newly-founded member group at the University of Gdansk, we have a \textbf{partner from the widening countries} for bi-directional knowledge exchange.
The project also involves several other research groups that have been founded in the past few years and links to QuEnG and NQIT, thus \textbf{building leading innovation capacity}.
Additionally, the team includes as PIs and co-Is multiple \textbf{excellent young researchers}.
Additionally, the team includes as PIs and Co-Is multiple \textbf{excellent young researchers}.
Our industrial partner, CQC, is an \textbf{ambitious high-tech SME} with a team leader who has expertise in technology transfer from academia to industry.
...
...
@@ -840,129 +840,40 @@ Where relevant, include measures for public/societal engagement on issues relate
\paragraph{Dissemination.\!\!}
\label{sec:dissemination}
%\bR personal opinion : we should be bold and say Fuck the (journal)
%System. We will publish only in true open venues like Quantum.
%Nature can go to hell. \e
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:
\begin{itemize}
\item Specialist quantum information venues: \emph{Quantum Information
and Computation} (QIC), \emph{Quantum Information Processing}
(QIP), \emph{Theory of Quantum Computation} (TQC), and \emph{Quantum
Physics and Logic} (QPL).
\item Mainstream computer science venues: the \emph{Journal of the
ACM} (JACM),
the \emph{International Conference on Computer-Aided Design} (ICCAD), \emph{Logic in Computer
Science} (LiCS), \emph{Principles of Programming Languages}
(POPL), \emph{Automata, Logic and Programming} (ICALP), \emph{Tools
and Algorithms for the Construction and Analysis of Systems}
\emph{Physical Review A} (PRA), the \emph{New Journal of Physics} (NJP), and
\emph{Communications in Mathematical Physics} (CMP),
\item\newt{The diamond open access journal \emph{Quantum}.}
\item\newt{Our own recently
established diamond open access journal \emph{Compositionality}.}
\end{itemize}
The consortium members have a strong record of publishing in all of these
leading venues. %Other venues will targeted opportunistically in order to achieve the most timely publication of our results.
\newt{However, as strong supporters of (diamond) open access publishing, we feel strongly about publishing in the latter two, as well as the other open access journals.}
in leading journals and conferences.
We will target specialist quantum information venues such as \emph{Quantum Information and Computation} (QIC) or \emph{Quantum Information Processing} (QIP), mainstream computer science venues such as \emph{International Conference on Computer-Aided Design} (ICCAD) or \emph{Logic in Computer Science} (LiCS), and physics journals such as \emph{Physical Review Letters} (PRL) or \emph{New Journal of Physics} (NJP).
We support open access publishing and will aim in particular to publish in diamond open access journals \emph{Quantum} and \emph{Compositionality}, as well as other open access journals.
We plan three annual workshops, which will
be open to any interested parties. The final workshop will include a
school aimed at PhD students and potential end-users in industry. We
allocate significant budget for student bursaries to maximise
participation.
school aimed at PhD students and potential end-users in industry.
\paragraph{Exploitation of results.\!\!}
We propose several direct and indirect routes to exploitation of our
results. Firstly, our consortium includes an industrial partner, CQC,
and \newt{a key member} of the NQIT project (de Beaudrap).
Though CQC our research will be integrated with the leading quantum
software compiler system, \tket. Since \tket already incorporates
ideas from the \zxcalculus this offers a direct and natural route to
exploitation. Further, since \tket already supports several existing
Through CQC our research will be integrated with the leading quantum
software compiler system, \tket.
Since \tket already supports several existing
software frameworks, and several hardware platforms, this promotes the
widest possible uptake of the project's results by end users, for no
additional work by the project members. To ensure a strong
relationship between CQC and the academic partners, the Oxford-based
post-doc will spend approximately 25\% of their time on site at the
CQC offices in Cambridge.
\newt{With NQIT, we will provide a programming framework for the networked quantum computer developed as part of that project (and the quantum computing project which follows afterwards in Phase~II of the UK Quantum Technologies Programme), seek to collaborate with their architectures team, and present the project results at the UK Quantum Technologies annual showcase.
In both cases, our work can be exploited
directly by end-users.}%% copied from Niel's document so I assume this is up-to-date
\TODOb{This para to be cut.}
\bR In addition, we have also recruited a board of advisers (see below)
including the European leaders in scalable quantum devices. These
experts will participate in our annual workshops to help define
requirements and ensure that our work can be used by their projects.
The DiCarlo group (Delft) and Rigetti have shown particular interest
in exploiting our work to assist with supporting the superconducting
quantum devices they are developing. \e
\newt{Finally, we commit to produce public APIs (see
\ref{del:frontendapi}, \ref{del:backendapi} and \ref{del:backendapiBIS})
for the \dzxc system which will allow any programming language to
generate code using our system, and make it easy to add support for
future hardware targets. This will enable other projects to
integrate \dzxc into their system. To further advance this aim, the
software tools developed by our project will be released on an
open-source basis with a permissive license (See
\S~\ref{sec:cons-agre}.) }
widest possible uptake of the project's results by end users.
Furthermore, we will provide a programming framework for the networked quantum computer developed as part of the NQIT project, of which one of our researchers (de Beaudrap) is a key member.
We will seek to collaborate with their architectures team, and present the project results at the UK Quantum Technologies annual showcase.
Our advisors include the lead scientist of QuEnG.
% \newt{Finally, we commit to produce public APIs (see
% \ref{del:frontendapi}, \ref{del:backendapi} and \ref{del:backendapiBIS})
% for the \dzxc system which will allow any programming language to
% generate code using our system, and make it easy to add support for
% future hardware targets. This will enable other projects to
% integrate \dzxc into their system. To further advance this aim, the
% software tools developed by our project will be released on an
% open-source basis with a permissive license (See
% \S~\ref{sec:cons-agre}.) }
\paragraph{Communication.\!\!}
%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
specifically target:
\begin{itemize}
\item English: \emph{Communications of the ACM}, \emph{IEEE Computer},
\item French: \emph{La Recherche}, \emph{Pour la Science}, and
\emph{Interstices}.
\item\bR Dutch: \emph{Kijk Magazine}, \emph{Quest}, and the dutch edition
of the \emph{New Scientist}.\e\TODOb{replace dutch ones?}
\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.
\paragraph{Advisory Personnel:\!\!}
\label{sec:advsiory-board}
In order to ensure the maximum impact, and to complement the expertise
present in the consortium, we have recruited additional
advisors who will consult with the project.
\begin{itemize}
\item\textbf{Prof. Alexia Auffeves} is the Lead scientist of the
Grenoble Quantum Engineering project
\item\textbf{Prof. Maud Vinet} is the head of the silicon spin qubit experimental team
\end{itemize}
Letters of support from are attached at the end of
this document.
Beyond online self-publishing we will also pitch articles to magazines aimed at a general audience in several languages, such as \emph{Communications of the ACM} and \emph{La Recherche}.
\newpage
\section{IMPLEMENTATION \REM{(2 pages total -- shorter than long proposal)}}
