@@ -964,7 +964,7 @@ and building a test suite of programs \newt{for benchmarking}.
\item[\ref{wp:representation}]\newt{is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources.}
%is about modelling the properties of different machines in \azx, and translating \azx to hardware.
\item[\ref{wp:theory}]
\newt{focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep algorithms.}
\newt{focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep compilation algorithms.}
%develops the theory behind \azx and algorithms to realise the logical ideas.
\item[\ref{wp:usefulstuff}]
\newt{applies all the previous to specific quantum hardware.}
...
...
@@ -2032,7 +2032,7 @@ ICTQT will develop the foundational aspects of \zxcalculus. The expertise of Dr.
\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). He also leads development on the {\tt Quantomatic}~(4) and {\tt PyZX} tools, which serve 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{Kang Feng Ng} is a postdoc working full-time on quantum circuit optimisation in the \zxcalculus. He is best known for his papers (1), (2) where he showed the \zxcalculus gives a universally complete language for quantum computation. \textit{\color{gray}\textbf{Publications:} (1) --- and Q. Wang. A universal completion of the ZX-calculus. arXiv:1706.09877, 2017. (2) A. Hadzihasanovic, ---, and Q. Wang. Two complete axiomatisations of pure-state qubit quantum computing. In Proceedings of LICS. ACM, 2018.}
@@ -889,9 +889,8 @@ Provide a graphical representation of the work packages components
showing how they inter-relate (Pert chart or similar).
}
\TODOb{Put some more here from actual WP descriptions.}
The work plan has four major scientific work packages (WPs),
which will proceed in parallel:
which will proceed in parallel. They all contribute to the ultimate goal of providing the full theoretical underpinning as well as the actual realization of of deep quantum compilation software, based on \zxcalculus. The workpackages are:
%All will have at least some activities throughout the length of the project, with the exception of \ref{wp:usefulstuff} which builds on earlier work in the other WPs and thus only begins one year into the project. (There is also a fifth
%work package grouping administrative and organisational activities.)
\begin{description}
...
...
@@ -901,7 +900,7 @@ and building a test suite of programs for benchmarking.
\item[{\bf WP 2}] is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources.
%is about modelling the properties of different machines in \azx, and translating \azx to hardware.
\item[{\bf WP 3}]
focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep algorithms.
focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep compilation algorithms.
%develops the theory behind \azx and algorithms to realise the logical ideas.
\item[{\bf WP 4}]
applies all the previous to specific quantum hardware.
...
...
@@ -1038,7 +1037,7 @@ The milestones are as follows:
\item[{\bf M4}] Back-end support for Oxford Ion Traps, initial back end API (month 30)
\item[{\bf M5}] Complete deep-\zx compiler stack with open
APIs, and a target compiled protocol demonstrating explicit quantum speed-up. (month 36)
...
...
@@ -1183,15 +1182,10 @@ We request 30 months of salary
Spread
across the sites, more than 110 person-months of time
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.
is supported by other sources.
At LORIA, Titouan Carette will contribute
approx 9 months to the project; this is funded from other sources.
At Grenoble, Richard East will contribute
approx 9 months to the project; this is funded from other sources.
At Gdansk, a PhD student will contribute
approx 12 months to the project; this is funded from other sources. At Oxford, at least two PhD students will contribute to the project, as well as several MSc students.
At LORIA and Grenoble, one PhD student will contribute
approx 9 months to the project, at Gdansk, one will contribute 12 months, and at Oxford, two PhD students will be fully dedicated, all funded from other sources.
At CQC, a Senior Scientist and a Research Software Developer will contribute, funded from elsewhere.
