@@ -2030,11 +2030,12 @@ Two complete axiomatisations of pure-state qubit quantum computing. LiCS 2018.
\hrulefill\vspace{1mm}
\textbf{Role in Project:}
As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus. \bR Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom.
The participation of researchers involved with NQIT, and their
interaction with quantum technologies specialists in Oxford and
elsewhere in Europe, will bring to the \azx project a wealth of
expertise in quantum hardware technology projects. The Oxford postdoc
As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus. With its established collaboration with CQC it will also play the key role in engagement of the project with industry. A focus of this collaboration is circuit optimisations as well as compiler design, two key components of this proposal. Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom.
% The participation of researchers involved with NQIT, and their
% interaction with quantum technologies specialists in Oxford and
% elsewhere in Europe, will bring to the \azx project a wealth of
% expertise in quantum hardware technology projects.
\bR The Oxford postdoc
will split their time equally between
\ref{wp:backends}, \ref{wp:theory}, and \ref{wp:usefulstuff},
including spending 10--20\% of their time working closely with
...
...
@@ -2165,7 +2166,7 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\end{tabular}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:} Situated 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.}).
\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{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}}
...
...
@@ -2188,9 +2189,9 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\textbf{Role in Project:}
The Radboud site will coordinate all aspects of the 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.
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
