We propose several direct and indirect routes to exploitation of our
results. Firstly, our consortium includes an industrial partner, CQC,
results. \bRFirstly, our consortium includes an industrial partner, CQC,
and \newt{a key member} of the NQIT project (de Beaudrap).
\TODOb{Still correct?}
\TODOb{Still correct?}\e
Though CQC our research will be integrated with the leading quantum
software compiler system, \tket. Since \tket already incorporates
...
...
@@ -1769,7 +1769,9 @@ often and deliver new features more than once a year.
combination of skills to deliver this project, including the fathers of \zxcalculus, those who established it as a universal and complete calculus, those who have developed applications of \zxcalculus to quantum technologies, and those who have outperformed all other methods using ZX-calculus.
%They also contributed greatly to community building.
Many members also have a long history of collaboration, and in fact have been at different consortium sites at some point of their career, for example Wang was a postdoc at Nancy before moving to Oxford and Oxford and CQC. Duncan, Horsman, Kissinger and Perdrix were postdocs at Oxford before moving to CQC, Grenoble, Nijmegen and Nancy respectively. Sainz has a long-standing collaboration with members of the Oxford Group. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group.
\TODOb{Do we think it's really good to say we are the Oxford mafia?
Also i had two other positions between Oxford and CQC -rd}
Many members also have a long history of collaboration, and in fact have been at different consortium sites at some point of their career, for example Wang was a postdoc at Nancy before moving to Oxford and CQC. Duncan, Horsman, Kissinger and Perdrix were postdocs at Oxford before moving to CQC, Grenoble, Nijmegen and Nancy respectively. Sainz has a long-standing collaboration with members of the Oxford Group. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group.
Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of ZX-calculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to ZX-calculus. Quantum compilation is moreover the key focus of CQC. Several members are part of the NQIT Quantum Technologies Hub.\footnote{nqit.ox.ac.uk}
...
...
@@ -2027,10 +2029,10 @@ 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) 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
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
on compilation for NISQ quantum devices.
He is also a permanent Research Fellow at the University of
