@@ -1499,7 +1499,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
\end{WP}
\REM{\emph{Leader:} Coecke.
\emph{Others:} de Beaudrap, Duncan, Jacobs, Jeandel, Kissinger,
\emph{Others:} de Beaudrap, Duncan, Jeandel, Kissinger,%Jacobs
Perdrix, Valiron, Carette.}
% in two ways:
...
...
@@ -1879,7 +1879,8 @@ de Beaudrap), whose expertise is bolstered by the members of our
world-leading advisory board.
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.
large multi-site projects (Abramsky, Benjamin, Coecke), %Jacobs
and in particular, Benjamin and Coecke have led large-scale project in quantum computing.
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.
...
...
@@ -2167,17 +2168,17 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\end{tabular}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:}\bRSituated within the largest digital security group in the Netherlands (51 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 six 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.}).\e
\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.}).
\textbf{Dr Aleks Kissinger} is an Assistant Professor of Quantum Structures and Logic in Radboud's Institute for Quantum and Information Sciences (iCIS). For the past 10 years, he has been instrumental in the development of the diagrammatic approach to quantum theory, notably developing the theory of classical and quantum interaction for general process theories~(1), classification of strong complementarity, and the ZW calculus~(2). He also co-authored the canonical textbook for the field~(3). Since 2006, he has also lead development on the Quantomatic tool~(4), which serves as the platform for the software and automated techniques in this proposal.
\textit{\color{gray}\textbf{Publications:} (1) B. Coecke, C. Heunen, and ---. Categories of quantum and classical channels. Quantum Information Processing, 15(12), 2016. (2) B. Coecke and ---. The compositional structure of multipartite quantum entanglement. In Proceedings of ICALP, 2010. Springer LNCS 6199. (3) B. Coecke and ---. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, 2017. (4) Quantomatic: A Proof Assistant for Diagrammatic Reasoning. Proceedings of Conference on Automated Deduction (CADE) 2015. Springer LNCS 9195. \href{http://quantomatic.github.io}{\color{blue} quantomatic.github.io}}
\medskip
% \medskip
\textbf{Prof Bart Jacobs} is a Professor of Software Security and Correctness at Radboud, the holder of an ERC Advanced Grant in Quantum Computation, Logic, and Security, and a member of the National Cybersecurity Council. He has won several prestigious awards including the 2012 Huibregtsen award for Science and Society, the SURF Security and Privacy Award 2017, and is a recipient of the Dutch order of chivalry: Officer of Orange-Nassau. He has made major contributions to the formal theory of computation, including prominent textbooks on type theory~(1) and coalgebra~(2). He furthermore pioneered a new approach to modelling the logic of probabilistic and quantum systems, initiating the field of Effectus Theory~(3).
\textit{\color{gray}\textbf{Publications:} (1) ---. Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam, 1999. (2) ---. Introduction to Coalgebra. Towards Mathematics of States and Observations. Cambridge University Press, 2017. (3) ---. New directions in categorical logic, for classical, probabilistic and quantum logic. Logical Methods in Computer Science, Vol. 11, 2015.}
% \textbf{Prof Bart Jacobs} is a Professor of Software Security and Correctness at Radboud, held an ERC Advanced Grant in Quantum Computation, Logic, and Security, and is a member of the National Cybersecurity Council. He has won several prestigious awards including the 2012 Huibregtsen award for Science and Society, the SURF Security and Privacy Award 2017, and is a recipient of the Dutch order of chivalry: Officer of Orange-Nassau. He has made major contributions to the formal theory of computation, including prominent textbooks on type theory~(1) and coalgebra~(2). He furthermore pioneered a new approach to modelling the logic of probabilistic and quantum systems, initiating the field of Effectus Theory~(3).
% \textit{\color{gray} \textbf{Publications:} (1) ---. Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam, 1999. (2) ---. Introduction to Coalgebra. Towards Mathematics of States and Observations. Cambridge University Press, 2017. (3) ---. New directions in categorical logic, for classical, probabilistic and quantum logic. Logical Methods in Computer Science, Vol. 11, 2015.}
\medskip
% \medskip
% \REM{Expertise of the organisation related to the project
% objectives. For the principal investigators give a brief CV,
...
...
@@ -2190,9 +2191,9 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\textbf{Role in Project:}
\bR The Radboud site will coordinate all aspects of the project
dealing with automation and tool development, focussed primarily in WP4. It will furthermore contribute strongly to WPs 2 and 3, and in the case of WP2, will serve as an important point of contact with the extensive quantum hardware groups working within the Netherlands, notably the
DiCarlo group in Delft. The \textit{postdoc} working at this site will focus on the development of automated tools and techniques for quantum program transformation and engage with nearby quantum hardware groups to target short- and long-term applications of those techniques.\e
The Radboud site will collaborate and offer guidance on all aspects of the project
dealing with automation and tool development, and will serve as an important point of contact with the extensive quantum hardware groups working within the Netherlands.
% , notably the DiCarlo group in Delft. The \textit{postdoc} working at this site will focus on the development of automated tools and techniques for quantum program transformation and engage with nearby quantum hardware groups to target short- and long-term applications of those techniques.
\end{minipage}
}
...
...
@@ -2279,15 +2280,19 @@ participants. The available HPC facilities include:
Scholarship to Mr Joseph Collins for the project ``Infinite
Dimensional Categorical Quantum Mechanics''. This contributes to
the later parts of \ref{task:axioms}.
\item\textbf{Radboud}: ERC advanced grant ``Quantum Computation,
Logic, and Security'' (QCLS) held by Jacobs. This 5-year 2.5M euro
project will conclude during year 1 of the \azx project. Main
outcomes: a new mathematical formalism, \emph{effectus theory}, that
covers Boolean, probabilistic, and quantum computation in a single
framework and an associated Python tool EfProb for modelling
probabilistic and quantum systems. The accrued tools and expertise
will greatly enhance our effectiveness in providing concrete tools
related to WP3 and WP4.
\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.
% ERC advanced grant ``Quantum Computation,
% Logic, and Security'' (QCLS) held by Jacobs. This 5-year 2.5M euro
% project will conclude during year 1 of the \azx project. Main
% outcomes: a new mathematical formalism, \emph{effectus theory}, that
% covers Boolean, probabilistic, and quantum computation in a single
% framework and an associated Python tool EfProb for modelling
% probabilistic and quantum systems. The accrued tools and expertise
% will greatly enhance our effectiveness in providing concrete tools
