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

NEWPROPOSAL/FULLPROP.tex

@@ -2009,19 +2009,69 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
   \begin{minipage}{1.0\linewidth}
     \begin{tabular}{p{0.4\linewidth}|p{0.6\linewidth}}
       \textbf{Partner 4} & CQC\\
-       & Cambridge Quantum Computing
+       & Cambridge Quantum Computing Ltd.
     \end{tabular}
     \vspace{1mm}\hrulefill\vspace{1mm}
 
-    \textbf{Expertise:}
-Stuff 
+    \textbf{Expertise:} Founded in 2014, Cambridge Quantum Computing
+    Ltd (CQC) is a leading independent quantum technology company
+    combining expertise in quantum information processing, artificial
+    intelligence, optimisation, and pattern recognition.  The compnay
+    comprises around 50 people worldwide with the quantum software team
+    being 10 full-time scientists and software developers.
+
+    A major focus for CQC is the development of quantum software, in
+    particular for quantum chemistry and quantum machine learning. CQC
+    has developed \tket, a proprietary retargetable compiler for
+    quantum computers, which allows users to develop software using a
+    wide range of languages and for execution on multiple quantum
+    computing devices.  The heart of \tket is the circuit optimisation
+    engine, which is informed the theory of PROPs and incorporates
+    many ideas derived from the \zxcalculus.
+
+    CQC have partnership agreements with IBM, Google, Microsoft,
+    Oxford Quantum Circuits, the National Physical Laboratory, the
+    NQIT project, and a variety of other public and private sector
+    organisations in the quantum technology space.  Through these
+    agreements CQC has access to quantum devices not available to the
+    general public, and unequalled experience with multiple quantum
+    computing platforms.  In addition, through its chemistry
+    simulation work, CQC also has knowledge of the kinds of programs
+    that users will actually want to run.
+
+    \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) and started the
+    Quantomatic project (with Kissinger and Dixon) and has pioneered
+    the application of the \zxcalculus to MBQC, quantum error
+    correcting codes, and circuit optimisation.  His current focus is
+    on compilation for NISQ quantum devices.
+ 
+    He is also a permanent Research Fellow at the University of
+    Strathclyde, where he was previously a lecturer in Computer
+    Science before joining CQC.  He previously held a mandate Charg\'e
+    de Recherche at the Universit\'e Libre de Bruxelles and an EPSRC
+    postdoctoral fellowship.  He was the first person to obtain a
+    doctorate from the Oxford quantum group, in 2006.
+
+    \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
+    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.
 
-    \textbf{Dr Ross Duncan}, is \ldots
     \vspace{1mm}\hrulefill\vspace{1mm}  
 
     \textbf{Role in Project:}
 
-    stuff
+    CQC develop the leading compiler for quantum software and the only
+    one which supports multiple quantum computers.  We provide
+    expertise in implementation of compilers, integration with
+    hardware, and a large bank of realistic test examples.  Through
+    its hardware partners, CQC can provide access to multiple quantum
+    computers via its \tket software.  CQC will provide a route to
+    immediate industrial impact for the project.  
   \end{minipage}
 }
 

NEWPROPOSAL/preamble.tex

@@ -279,6 +279,9 @@
 \newcommand{\Qsharp}{Q\texttt\#\xspace}
 \newcommand{\dzxc}{\texttt{DZXC}\xspace}
 
+\newcommand{\tket}{\ensuremath{\mathsf{t}|\mathsf{ket}\rangle}\xspace}
+
+
 \newcommand{\benREM}[1]{\texttt{\bfseries\color{red!70!black} [{#1}]}\xspace}
 
 \usepackage{pgfgantt}