Merge branch 'master' of https://gitlab.cis.strath.ac.uk/kwb13215/quantera-2

NEWPROPOSAL/FULLPROP.tex

@@ -2050,9 +2050,9 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
     \textbf{Dr Ross Duncan} is the Head of Quantum Software at CQC
     where he leads a team of 10 researchers and software developers.
     He invented the \zxcalculus (with Coecke) (1) and started the
-    Quantomatic project (with Kissinger and Dixon) (2) and has pioneered
-    the application of the \zxcalculus to MBQC (3), quantum error
-    correcting codes (4), and circuit optimisation (5).  His current focus is
+    Quantomatic project (with Kissinger and L. Dixon) and has pioneered
+    the application of the \zxcalculus to MBQC (2), quantum error
+    correcting codes (3), and circuit optimisation (4,5).  His current focus is
     on compilation for NISQ quantum devices.
  
     He is also a permanent Research Fellow at the University of
@@ -2062,9 +2062,22 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
     postdoctoral fellowship.  He was the first person to obtain a
     doctorate from the Oxford quantum group, in 2006.
 
+    \textit{\color{gray} \textbf{Publications:} (1) B. Coecke and ---
+      . Interacting quantum observables: Categorical algebra and
+      diagrammatics. NJP 13 (043016), 2011.  (2) --- and S.
+      Perdrix. Rewriting measurement-based quantum computations with
+      generalised flow. In ICALP 2010, Springer LNCS 6199 (3)
+      L. Garvie and ---. Verifying the smallest interesting colour
+      code with quantomatic. In Proc QPL'17 vol 266, 2017.  (4)
+      A. Fagan and --- . Optimising Clifford circuits with
+      Quantomatic. In Proc QPL'19, EPTCS vol. 287, 2019.  (5) ---,
+      A. Kissinger, S. Pedrix, and J. van de Wetering. Graph-theoretic
+      simplification of quantum circuits with the
+      ZX-calculus. arXiv:1902.03178, 2019.}
+
     \textbf{Mr Will Simmons} is a Research Software Developer at CQC.
     He obtained a Bachelor's degree in Computer Science from Cambridge
-    Univeristy and a Masters in the Foundation of Computer Science
+    Univeristy and a Masters in the Foundations of Computer Science
     from Oxford.  At CQC his focus is developing new optimisation
     methods for quantum circuits and high performance rewriting
     techniques for graphical terms for CQC's \tket compiler.
@@ -2181,7 +2194,12 @@ Access venues. \newt{Evidence of the consortium's commitment to open access is t
   the consortium to perform the project  \REM{1/2 page max}}
 \label{sec:sign-facil-large}
 
-\bR ... CQC? ... \e
+As a partner company of IBM, Google, Microsoft and other quantum
+hardware manufacturers, CQC has access to a wide range of quantum
+devices and high performance simulators which are not available to the
+general public.  CQC will provide access to these devices to
+consortium members during the project.
+
 %Bull (Partner 4) will provide high performance computing
 %(HPC) facilities which will be accessible by VPN to all project
 %participants.  The available HPC facilities include:
@@ -2218,8 +2236,13 @@ providing him with the resources to contribute to this project. \bR ... Will Zen
   The team at Loria is also involved in the SoftQPro ANR, which deals with the
   development of a new HLL related to quantum computing with a HPC
   backend. ZX-Calculus play a lesser role in SoftQpro compared to this project.
-
-
+\item In April 2019 \textbf{CQC} will begin a new project with the UK National
+  Physical Laboratory, under the Innovate UK Analysis for Innovators
+  scheme, which is dedicated to the modelling and analysis of noise in
+  quantum simulations.  Further, there is a funded follow-on project
+  on the same topic employing 2 PhD students starting in September of
+  2019.  This has direct link to the Task 3.3, and we expect fruitful
+  interaction between these two projects.
 
 \item \bR MORE FROM OTHER SITES!!!\e