diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index edd0765c8554ef598db9a6c538514fe60e21993a..10092305eaf4c8ab1c34b829551e9cd56e52be32 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -291,7 +291,7 @@ compilers for quantum software.
%\end{figure}
-\paragraph{Contribution to the theme addressed}
+\paragraph{Contribution to the theme addressed:}
\label{sec:contr-theme-addr}
We specifically address the theme of \emph{Quantum Computation}.
@@ -813,7 +813,7 @@ It also enables the system to adapt and optimise protocols for the individual re
As the basis of a retargetable compiler, the \dzxc system will make it easy to support new quantum devices.
This will help make the latest developments in quantum technology available to all academic and industrial users, maximising the return on investment in quantum computing.
-To help non-specialist users, we will provide the ability to apply complicated transformations -- such as the introduction of error correction or the optimisation of sequences of operations -- fully automatically or at the push of a button.
+To help non-specialist users, we will provide push-button application of complicated transformations -- such as the introduction of error correction or the optimisation of sequences of operations.
Our consortium includes an industrial partner, Cambridge Quantum Computing, to help ensure the industrial relevance of our work.
We will also work closely with quantum technologies groups at QuEnG and NQIT to check the applicability of our work.
@@ -833,14 +833,13 @@ Developing the \dzxc system will utilise the entire range of knowledge required
All of these are needed to develop the deep compilation system, so developing the \dzxc system is a fundamentally interdisciplinary task.
Via its intelligent compilation chain and by aiding the development of intuitively accessible programming languages, the \dzxc system will also make quantum technologies accessible to a broader range of users and developers.
For example, algorithm and protocol designers will not need to interface directly with quantum technologies in order to test the effectiveness of their work, lowering the bar for development in the field.
-End-users outside of quantum physics and computer science will also be able to build protocols for use in their own field that do not require them to understand the physical action of the hardware.
+End-users outside of quantum physics and computer science will also be able to build protocols for their own use that do not require them to understand the physical action of the hardware.
The \dzxc system will not be a closed system: our commitment to open
APIs (see \ref{task:trans1} and \ref{task:backendapi}) and our open
test suite (\ref{task:testBench}) will enable users from outside the
project to integrate new tools and techniques with the \dzxc system, and engage
the wider community.
-
The advent of quantum computation, and the diverse set of skills needed to bring an idea from algorithm to implementation, has shown the limitations of traditional subject boundaries. The breadth of expertise of this consortium, and its thematic focus on developing a common language and methodology from quantum technologies will help transcend these limitations within the project and in the wider community.
@@ -848,7 +847,7 @@ The advent of quantum computation, and the diverse set of skills needed to bring
One of our consortium partners is based at the ICTQT, a newly founded research institute in the strongly emergent Poland.
The university of Gdansk, host of the institute, has a long prominent track record on quantum information, with the core of entanglement theory having been developed there.
Sainz's newly founded Foundational Underpinnings of Quantum Technologies group will contribute to and complement the existing team in Gdansk by bringing in the new scope of process theories to tackle foundational and applied questions in quantum theory.
-Her own team, funded by ICTQT, will initially consist of a postdoctoral research fellow and a PhD student.% (both TBA).
+Her own team, funded by ICTQT, will initially consist of a postdoctoral research fellow and a PhD student. % (both TBA).
Oxford site head Coecke was involved in establishing Sainz's new team at Gdansk's new ICTQT institute, as a member of the institutes' International Scientific Committee. The scope of this research proposal aligns perfectly with part of the mission statement of Sainz's team, namely the study of process theories.
%\TODOb{Is this paragraph in the right section? Some of it seems more ``first-time participants''-ey}
@@ -861,14 +860,14 @@ Oxford site head Coecke was involved in establishing Sainz's new team at Gdansk'
\paragraph{Build leading innovation capacity across Europe by involvement of key actors that can make a difference in the future, for example excellent young researchers, ambitious high-tech SMEs or first-time participants ---\!\!}
The consortium team is well-balanced between young and established researchers.
-We are building innovation capacity by involving several research groups that have been founded in the past few years, namely those of Horsman, Kissinger, Valiron, and Sainz (the latter shortly to be established at the proposal writing phase; see previous paragraph).
+We are building innovation capacity by involving several research groups that have been founded in the past few years, namely those of Horsman, Kissinger, Valiron, and Sainz (the latter shortly to be established at the time of writing; see previous paragraph).
The team also includes other excellent young researchers on the brink of group development (Backens, de Beaudrap, Wang).
-With team members like Coecke who had over 30 grants including several large networks, know-how on project design at the drafting stage to execution will carry over to the more junior partners, as Coecke will adopt a mentoring role throughout the project.
-Our industrial partner, CQC, is an ambitious high-tech SME.
-Indeed, CQC is currently leading the sector in high performance compilation of quantum software.
-The CQC team leader, Duncan, is an experienced researcher who brings expertise in technology transfer from academia to industry.
-The junior team members at CQC will benefit from exposure to the latest research, while the younger academics will benefit from interaction with industry.
-
+With team members Coecke (who had over 30 grants including several large networks), Jeandel (an INRIA project leader), and Perdrix (an established CR1 research lead), know-how on project design, management, and content will flow to the more junior partners
+% In particular, Coecke will adopt a mentoring role throughout the project.
+%at the drafting stage to execution will carry over to the more junior partners, as
+Our industrial partner, CQC, is an ambitious high-tech SME, currently leading the sector in high performance compilation of quantum software.
+The CQC project leader, Duncan, is an experienced researcher who brings expertise in technology transfer from academia to industry.
+The junior team members at CQC will benefit from research exposure, while the younger academics will benefit from interaction with industry.
\subsection{Dissemination, exploitation of results, communication}
\label{sec:diss-expl-results}
@@ -1369,7 +1368,7 @@ Perdrix, Valiron, Carette.}
%%%
%%%%%%%WP 4
%%%
-\begin{WP}{Machine-dependent optimisation}{13M}{36M}{wp:usefulstuff}
+\begin{WP}{Machine-dependent optimisation}{M13}{3M6}{wp:usefulstuff}
\WPleaderGREN
\WPeffort{20}{9}{12}{2}{6}{0}
\begin{WPaim}
@@ -1835,12 +1834,12 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
% (incl. widely-used datasets or software), or other achievements
% relevant to the call content. }
- \textbf{Simon Perdrix} is researcher at CNRS having previously held positions at LIG (Grenoble) as a charge de recherche, and at OUCS (Oxford), LFCS (Edinburgh) and PPS (Paris) as Postdoc. He is an expert of \zx-calculus introducing several new axioms to the language (1,2,3). He is also an expert of measurement-based quantum computing, introducing in particular a graphical characterisation of determinism in the model (4,5). He leads the Quantum Computation French network (GT IQ at CNRS GdR IM) and is board of the CNRS Quantum Technology network (GdR IQFA). %He has been PI of several projects (PEPS, Region Lorraine), and led work-packages in ANR and EU STREP projects. In 2016, he has been elected scientific secretary of section 6 at CoNRS. Section 6 is in charge, among other expertise duties, of hiring, promoting, and evaluating CNRS researchers in computer science.
+ \textbf{Dr Simon Perdrix} is researcher at CNRS having previously held positions at LIG (Grenoble) as a charge de recherche, and at OUCS (Oxford), LFCS (Edinburgh) and PPS (Paris) as Postdoc. He is an expert of \zx-calculus introducing several new axioms to the language (1,2,3). He is also an expert of measurement-based quantum computing, introducing in particular a graphical characterisation of determinism in the model (4,5). He leads the Quantum Computation French network (GT IQ at CNRS GdR IM) and is board of the CNRS Quantum Technology network (GdR IQFA). %He has been PI of several projects (PEPS, Region Lorraine), and led work-packages in ANR and EU STREP projects. In 2016, he has been elected scientific secretary of section 6 at CoNRS. Section 6 is in charge, among other expertise duties, of hiring, promoting, and evaluating CNRS researchers in computer science.
\textit{\color{gray} \textbf{Publications:} (1) R. Duncan and ---. Graph states and the necessity of Euler decomposition. In CiE 2009, Springer LNCS 5635. (2) --- and Q. Wang. Supplementarity is Necessary for Quantum Diagram Reasoning. In MFCS 2016. LIPIcs, Dagstuhl, Germany, 2016. (3) R. Duncan and ---. Rewriting measurement-based quantum computations with generalised flow. In ICALP 2010, Springer LNCS 6199. (4) D. E. Browne, E. Kashefi, M. Mhalla, and ---. Generalized flow and determinism in measurement-based quantum computation. New J. Phys, 9(250), 2007. (5) M. Mhalla and ---. Finding optimal flows efficiently. In Automata, Languages and Programming, In ICALP 2008, Springer LNCS 5125.}
%\medskip
- \textbf{Emmanuel Jeandel} is Professor at Universit\'e de
+ \textbf{Prof.~Emmanuel Jeandel} is Professor at Universit\'e de
Lorraine, leader of the Inria project team Mocqua. He did a PhD in
quantum computing, he is also an expert in dynamical systems (tiling, cellular automata). He contributed to the development of the \zx-calculus (2) %(cyclotomic supplementarity)
and, together with Simon Perdrix and Renaud Vilmart, also at LORIA, they recently proved the completeness of the \zx-calculus for a universal Clifford+T fragment of quantum mechanics (3).
@@ -1851,10 +1850,10 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
% \textbf{Beno\^it Valiron} (Assistant Prof. CentraleSup\'elec) obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
- \textbf{Beno\^it
- Valiron} (Assistant Prof. CentraleSup\'elec) from LRI (UMR 8623)
+ \textbf{Dr Beno\^it
+ Valiron} (Assistant Prof.\ CentraleSup\'elec) from LRI (UMR 8623)
is also included within the LORIA site.
- He obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations, he is in particular co-inventor of the Quipper language. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
+ He obtained his Ph.D.\ in Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations, he is in particular co-inventor of the Quipper language. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
\textit{\color{gray} \textbf{Publications:} (1) A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and ---. Quipper: A scalable quantum programming language. PLDI 2013.
(2) A. Scherer, ---, S.-C. Mau, Scott Alexander, E. van den Berg and T. E. Chapuran. Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Information Processing 2017
(3) ---, N. J. Ross, P. Selinger, D. S. Alexander and Jonathan M. Smith. Programming the Quantum Future. Communications of the ACM, 2015.
@@ -1908,12 +1907,12 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
\textit{\color{gray} \textbf{Publications:} (1) S.~Abramsky and ---. A categorical semantics of quantum protocols. In LICS 2004. (2) --- and R.~Duncan. Interacting quantum observables: Categorical algebra and
diagrammatics. NJP 13 (043016), 2011. (3) --- and A.~Kissinger. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. CUP, 2017. }
- \textbf{Dr.\ Miriam Backens} is a Career Development Fellow at Balliol College, Oxford. They proved completeness of the stabiliser \zxcalculus (1) and of the single-qubit Clifford+T fragment (2), and co-developed the related ZH-calculus as well as proving its completeness (3). \textit{\color{gray} \textbf{Publications:}
+ \textbf{Dr Miriam Backens} is a Career Development Fellow at Balliol College, Oxford. They proved completeness of the stabiliser \zxcalculus (1) and of the single-qubit Clifford+T fragment (2), and co-developed the related ZH-calculus as well as proving its completeness (3). \textit{\color{gray} \textbf{Publications:}
(1) ---. The ZX-calculus is complete for stabilizer quantum mechanics. NJP 16, 2014. arXiv:1307.7025.
(2) ---. The ZX-calculus is complete for the single-qubit Clifford+T group. EPTCS 172. arXiv:1412.8553.
(3) --- and A.~Kissinger. ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non- linearity. QPL 2018. arXiv: 1805.02175.}
- \textbf{Dr.\ Niel de Beaudrap} is a post-doctoral researcher in the NQIT project, in which he is Principal Investigator of a Partnership Project on resource-usage in networked quantum architectures and a User Project on emulating quantum computations.
+ \textbf{Dr Niel de Beaudrap} is a post-doctoral researcher in the NQIT project, in which he is Principal Investigator of a Partnership Project on resource-usage in networked quantum architectures and a User Project on emulating quantum computations.
He is a Co-Investigator with Prof.\ Coecke on a project with CQC to optimise quantum circuits using the \zxcalculus, co-developed the connection between \zxcalculus and lattice surgery~(1), and developed the first efficient algorithms to recover annotation systems to re-write MBQC procedures to the unitary circuit model~(2).
\textit{\color{gray}
\textbf{Publications:}
@@ -1921,7 +1920,7 @@ diagrammatics. NJP 13 (043016), 2011. (3) --- and A.~Kissinger. Picturing Quantu
(2) ---. Finding flows in the one-way measurement model. PRA~77 (022328), 2008.
}
- \textbf{Dr.\ Quanlong Wang} is on an IAA Secondment at Cambridge Quantum Computing Ltd., working on \zxcalculus. Before doing a 2nd PhD at Oxford he was a Lecturer in Mathematics at Beijing University of Aeronautics and Astronautics. He was the 1st to prove universal completeness of universal \zxcalculus. He also established a simple complete set of rules for 2-qubit circuits, which later were proved to be universally complete.
+ \textbf{Dr Quanlong Wang} is on an IAA Secondment at Cambridge Quantum Computing Ltd., working on \zxcalculus. Before doing a 2nd PhD at Oxford he was a Lecturer in Mathematics at Beijing University of Aeronautics and Astronautics. He was the 1st to prove universal completeness of universal \zxcalculus. He also established a simple complete set of rules for 2-qubit circuits, which later were proved to be universally complete.
\textit{\color{gray} \textbf{Publications:}
(1) A. Hadzihasanovic, K. F Ng and ---.
Two complete axiomatisations of pure-state qubit quantum computing. LiCS 2018.