diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index e4af39272b38b839575db2e9e90c6dded3c5e765..c47d3dd7f38cf97cdb2af0a0f6bee0530928ed99 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -150,8 +150,6 @@ Technology Flagship.
\subsection{Targeted breakthrough, baseline of knowledge and skills}
\label{sec:targ-breakthr-basel}
-\TODOb{Would like to see the word "outperform" prominently with direct single reference to the consortium members recent paper on circuit optimization/PyZX.}
-
\REM{
Describe the targeted breakthroughs of the project.
Describe how the science and technology contribute to the establishment of a solid baseline of knowledge and skills for the specific theme addressed.
@@ -165,6 +163,7 @@ Describe the specific objectives of the project, which should be clear, measurab
This consists of techniques for a compiler to translate high-level specifications of quantum programs, to operations on a variety of hardware platforms, automatically managing resources and architectural constraints in doing so.
This allows the software stack to be developed and organised in a modular fashion for multiple platforms, and then compiled in an intelligently managed way to make the most of quantum hardware resources.
+\TODOb{Summary/context should contain a clear statement that NOW zx does better (i.e. "outperforms") than anything else for circuit simplification using PyZX. This should be explained in even more detail elsewhere. This is the strongest case for getting the money!}
\paragraph{Context:}
\label{sec:context}
@@ -890,7 +889,7 @@ Modelling error correction in \newt{the annotated \zxcalculus} will thus enable
The retargetable \newt{\dzxc} system will make it easy to support new quantum
devices, thus making the latest developments in quantum technology available to all academic and industrial users, and maximising the return on investment in quantum computing.
Our consortium includes an industrial partner (\newt{Cambridge Quantum Computing}) to help ensure the industrial relevance of our work.
-We also have further industrial figures on the advisory panel.
+We also have experimental figures on the advisory panel.
With \newt{the \dzxc system}, high-level quantum languages and protocols can be designed without needing to know the underlying hardware.
This will streamline the production of quantum software, opening it up to individuals and companies with limited prior knowledge of quantum computing.
Quantum hardware will also be more accessible, both in academia and industry. Individual developers will not need to know the entire architecture, as different elements can be \newt{adapted to automatically during compilation}.
@@ -988,19 +987,17 @@ 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.}
-\TODOb{Is this still correct?}
-\bR We plan three annual workshops, which will
+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.\e
+participation.
\paragraph{Exploitation of results.\!\!}
We propose several direct and indirect routes to exploitation of our
-results. \bR Firstly, our consortium includes an industrial partner, CQC,
+results. Firstly, our consortium includes an industrial partner, CQC,
and \newt{a key member} of the NQIT project (de Beaudrap).
-\TODOb{Still correct?} \e
Though CQC our research will be integrated with the leading quantum
software compiler system, \tket. Since \tket already incorporates
@@ -1073,28 +1070,19 @@ these publications before.
%also be routinely presented in any industrial or public engagement
%events which touch on the software tools used by NQIT.
-\paragraph{Advisory Board:\!\!}
+\paragraph{Advisory Personnel:\!\!}
\label{sec:advsiory-board}
-\oldt{
In order to ensure the maximum impact, and to complement the expertise
-present in the consortium, we have recruited a board of
-advisors who will consult with the project. The board includes
-several leading European researchers working on scalable quantum
-devices; their input will help ensure that our software stack is able
-to support real devices, and they form a ready base of
-users for the final products. The board comprises:
+present in the consortium, we have recruited additional
+advisors who will consult with the project.
\begin{itemize}
-\item Leonardo DiCarlo (QuTech\,/\,Delft),
-\item Jonathan Pritchard (Strathclyde),
-\item Peter Selinger (Dalhousie),
-\item Andreas Wallraff (ETH Z\"urich),
-\item Philip Walther (Vienna),
-\item \bR Will Zeng (Rigetti Quantum Computing) --- may be fired soon\e.
-\item \bR More suggestions: Winfried Hensinger, Mike Mosca, Martin Roetteler, Michael Beverland\e.
+\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 the board members are attached at the end of
-this document.}
+Letters of support from are attached at the end of
+this document.
\newpage
\section{IMPLEMENTATION}
@@ -1199,7 +1187,7 @@ collaboration is a strong point of this project.
\begin{WP}{A quantum compiler stack}{1M}{36M}{wp:frontend}
\WPleaderLOR
-\WPeffort{0}{14}{32}{5}{\newt{12}}{3}
+\WPeffort{12}{14}{32}{12}{12}{3}
\begin{WPaim}
This WP develops elements of \zx as an abstract intermediate
compiler language. We provide interface between \zx and known
@@ -1560,7 +1548,6 @@ Staton, Carette.}
\paragraph{Work package overview}
\label{sec:work-pack-overv}
-\TODOb{All checked; please don't change, only fix if broke!}
\newt{\begin{center}
\begin{tabular}{|p{0.2\textwidth}|c|c|c|c|c|c|}
\hline
@@ -1574,10 +1561,10 @@ Staton, Carette.}
1. Grenoble & 12 & 12 & 12 & 12 & 3 & 51 \\\hline
2. LORIA & 14 & 12 & 9 & 9 & 3 & 47 \\\hline
3. Oxford & 32 & 14 & 30 & 12 & 2 & 90 \\\hline
-4. CQC & 5 & 4 & 12 & 6 & 1 & 28 \\\hline
-5. Gdansk & 12& 30 & 12 & 6 & 4 & 64 \\\hline
+4. CQC & 12 & 4 & 12 & 6 & 1 & 28 \\\hline
+5. Gdansk & 12& 30 & 12 & 6 & 4 & 71 \\\hline
6. Nijmegen & 3 & 6 & 12 & 0 & 2 & 23 \\\hline
-\textbf{TOTAL}& 78 & 78 & 87 & 45 & 11 & 299 \\\hline
+\textbf{TOTAL}& 85 & 78 & 87 & 45 & 11 & 317 \\\hline
\end{tabular}
\end{center}}
@@ -1626,12 +1613,7 @@ needed.
\textbf{\ref{wp:usefulstuff}}: D. Horsman (Grenoble),
\textbf{\ref{wp:admin}}: D. Horsman (Grenoble).
-\bR \paragraph{Software Integration}
-\label{sec:software-integration}
-
-[Don't think we have this any more.]
-
-\paragraph{Monitoring and advisory board}
+\paragraph{Experimental and integration advisory board}
\label{sec:monit-advis-board}
Every six months there will be a meeting of both the work package leaders
@@ -1640,20 +1622,15 @@ project event. At these meetings progress towards research objectives
will be evaluated, and any new opportunities will also be discussed. These
meetings will be organised by the coordinator.
-To assist in monitoring and evaluating progress, we have recruited a
-board of external advisors who are both experts and potential
-end-users of the project. The advisory board consists of:
-Leonardo DiCarlo (QuTech\,/\,Delft University of Technology),
-Jonathan Pritchard (University of Strathclyde),
-Peter Selinger (Dalhousie University),
-Andreas Wallraff (ETH Z\"urich),
-Philip Walther (University of Vienna), and
-Will Zeng (Rigetti Computing).
+To assist in monitoring and evaluating progress, as well as to collaborate on WP4,
+we have recruited Alexia Auffeves and Maud Vinet as external advisors. Prof. Auffeves is the Lead of the
+Grenoble Quantum Engineering project, and Prof. Vinet is the head of the silicon spin qubit experimental team.
The entire project and advisory board (see \S\ref{sec:impact-2-pages})
will meet once a year to evaluate progress, set priorities, and plan
next steps.
+\bR
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\paragraph{List of milestones}
\label{sec:list-milestones}
@@ -2296,7 +2273,7 @@ providing him with the resources to contribute to this project. \bR ... Will Zen
\newpage%\TODOb{This needs to be done urgently}
\subsection{Financial plan (1 page)}
-\label{sec:financial-plan}
+\label{sec:financial-plan}
\REM{The resources to be committed for each project partner have to be
described in the Electronic Submission System by the
@@ -2334,7 +2311,7 @@ industrial partner, a Senior Scientist and a Research Software Developer will co
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. \newt{At Oxford, at least tow PhD students will contribute to the project}.
+ approx 12 months to the project; this is funded from other sources. \newt{At Oxford, at least tow PhD students will contribute to the project, as well as several MSc students}.
\item \emph{Engineers}: At CQC, a Senior Scientist and a Research Software Developer will contribute, funded from other sources.
\end{itemize}