updates to Ross bio

NEWPROPOSAL/FULLPROP.tex

@@ -2034,9 +2034,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
@@ -2046,9 +2046,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.