LORIA (UMR 7503) is a research unit common to the CNRS, the University of Lorraine and Inria. % -- is the French acronym for the "Lorraine Research Laboratory in Computer Science and its Applications".
Its missions mainly deal with fundamental and applied research in computer sciences. Bolstered by the 500 people working in the lab, LORIA is today one of the biggest research units in Lorraine, and one of the biggest computer science labs in France.
The Inria project team Mocqua, led by Prof. Emmanuel Jeandel is expert in models of quantum computation, quantum information theory and in particular \zx-calculus.
% Beno\^it Valiron (Assistant Prof. CentraleSup\'elec / LRI) will be associated with
%new CR1
% \REM{blah blah blah blah}
% \REM{Expertise of the organisation related to the project
% objectives. For the principal investigators give a brief CV,
% including gender, highlighting research experience; and list up
% to 5 relevant publications, and/or products, services
% (incl. widely-used datasets or software), or other achievements
% relevant to the call content. }
\textbf{Simon Perdrix} is researcher at CNRS (CR1), having previously held positions at LIG (Grenoble) as a charge de recherche, and at OUCS (Oxford), LFCS (Edinburgh) and PPS (Paris) as Postdoc. He is an expert of \zx-calculus introducing several new axioms to the language (1,2,3). He is also an expert of measurement-based quantum computing, introducing in particular a graphical characterisation of determinism in the model (4,5). He leads the Quantum Computation French network (GT IQ at CNRS GdR IM) and is board of the CNRS Quantum Technology network (GdR IQFA). %He has been PI of several projects (PEPS, Region Lorraine), and led work-packages in ANR and EU STREP projects. In 2016, he has been elected scientific secretary of section 6 at CoNRS. Section 6 is in charge, among other expertise duties, of hiring, promoting, and evaluating CNRS researchers in computer science.
\textit{\color{gray}\textbf{Publications:} (1) R. Duncan and ---. Graph states and the necessity of Euler decomposition. In CiE 2009, Springer LNCS 5635. (2) --- and Q. Wang. Supplementarity is Necessary for Quantum Diagram Reasoning. In MFCS 2016. LIPIcs, Dagstuhl, Germany, 2016. (3) R. Duncan and ---. Rewriting measurement-based quantum computations with generalised flow. In ICALP 2010, Springer LNCS 6199. (4) D. E. Browne, E. Kashefi, M. Mhalla, and ---. Generalized flow and determinism in measurement-based quantum computation. New J. Phys, 9(250), 2007. (5) M. Mhalla and ---. Finding optimal flows efficiently. In Automata, Languages and Programming, In ICALP 2008, Springer LNCS 5125.}
%\medskip
\textbf{Emmanuel Jeandel} is Professor at Universit\'e de
Lorraine, leader of the Inria project team Mocqua. He did a PhD in
quantum computing, he is also an expert in dynamical systems (tiling, cellular automata). He contributed to the development of the \zx-calculus (2) %(cyclotomic supplementarity)
and, together with Simon Perdrix and Renaud Vilmart, also at LORIA, they recently proved the completeness of the \zx-calculus for a universal Clifford+T fragment of quantum mechanics (3).
\textit{\color{gray}\textbf{Publications:} (1) ---. Universality in Quantum Computation. In ICALP 2004, Springer LNCS 3142. (2) ---, S. Perdrix, R. Vilmart, and Q. Wang. ZX-calculus: Cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics. MFCS 2017. (3) ---, S. Perdrix, and R. Vilmart. A complete axiomatisation of the ZX-calculus for Clifford+T quantum mechanics. arXiv:1705.11151, 2017.}
%\medskip
% \textbf{Beno\^it Valiron} (Assistant Prof. CentraleSup\'elec) obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
\textbf{Beno\^it
Valiron} (Assistant Prof. CentraleSup\'elec) from LRI (UMR 8623)
is also included within the LORIA site.
He obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations, he is in particular co-inventor of the Quipper language. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
\textit{\color{gray}\textbf{Publications:} (1) A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and ---. Quipper: A scalable quantum programming language. PLDI 2013.
(2) A. Scherer, ---, S.-C. Mau, Scott Alexander, E. van den Berg and T. E. Chapuran. Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Information Processing 16:60, 2017
(3) ---, N. J. Ross, P. Selinger, D. S. Alexander and Jonathan M. Smith. Programming the Quantum Future. Communications of the ACM, Vol. 58 No. 8, 2015.
(4) M. Pagani, P. Selinger, ---. Applying quantitative semantics to higher-order quantum computing. In POPL 2014.}
%\medskip
% \textbf{Renaud Vilmart}, PhD student supervised by E. Jeandel and S. Perdrix, has greatly contributed to make the \zx-calculus complete for Clifford+T quantum mechanics.
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Role in Project:} LORIA will develop the front-end compilation of HLLs into \azx terms.
As one of the main contributors to the \zxcalculus and expert of 1WQC, LORIA will also play a key role in the development of \azx taking into account the different models of computation.
The site provies expertise both in quantum programming
languages and in the \zxcalculus.
The postdoc at LORIA
will spend half of their time on \ref{wp:frontend}, and divide the remaining time equally between the other WPs.
LORIA (UMR 7503) is a research unit common to the CNRS, the University of Lorraine and Inria. % -- is the French acronym for the "Lorraine Research Laboratory in Computer Science and its Applications".
Its missions mainly deal with fundamental and applied research in computer sciences. Bolstered by the 500 people working in the lab, LORIA is today one of the biggest research units in Lorraine, and one of the biggest computer science labs in France.
The Inria project team Mocqua, led by Prof. Emmanuel Jeandel is expert in models of quantum computation, quantum information theory and in particular \zx-calculus.
% Beno\^it Valiron (Assistant Prof. CentraleSup\'elec / LRI) will be associated with
%new CR1
% \REM{blah blah blah blah}
% \REM{Expertise of the organisation related to the project
% objectives. For the principal investigators give a brief CV,
% including gender, highlighting research experience; and list up
% to 5 relevant publications, and/or products, services
% (incl. widely-used datasets or software), or other achievements
% relevant to the call content. }
\textbf{Simon Perdrix} is researcher at CNRS (CR1), having previously held positions at LIG (Grenoble) as a charge de recherche, and at OUCS (Oxford), LFCS (Edinburgh) and PPS (Paris) as Postdoc. He is an expert of \zx-calculus introducing several new axioms to the language (1,2,3). He is also an expert of measurement-based quantum computing, introducing in particular a graphical characterisation of determinism in the model (4,5). He leads the Quantum Computation French network (GT IQ at CNRS GdR IM) and is board of the CNRS Quantum Technology network (GdR IQFA). %He has been PI of several projects (PEPS, Region Lorraine), and led work-packages in ANR and EU STREP projects. In 2016, he has been elected scientific secretary of section 6 at CoNRS. Section 6 is in charge, among other expertise duties, of hiring, promoting, and evaluating CNRS researchers in computer science.
\textit{\color{gray}\textbf{Publications:} (1) R. Duncan and ---. Graph states and the necessity of Euler decomposition. In CiE 2009, Springer LNCS 5635. (2) --- and Q. Wang. Supplementarity is Necessary for Quantum Diagram Reasoning. In MFCS 2016. LIPIcs, Dagstuhl, Germany, 2016. (3) R. Duncan and ---. Rewriting measurement-based quantum computations with generalised flow. In ICALP 2010, Springer LNCS 6199. (4) D. E. Browne, E. Kashefi, M. Mhalla, and ---. Generalized flow and determinism in measurement-based quantum computation. New J. Phys, 9(250), 2007. (5) M. Mhalla and ---. Finding optimal flows efficiently. In Automata, Languages and Programming, In ICALP 2008, Springer LNCS 5125.}
%\medskip
\textbf{Emmanuel Jeandel} is Professor at Universit\'e de
Lorraine, leader of the Inria project team Mocqua. He did a PhD in
quantum computing, he is also an expert in dynamical systems (tiling, cellular automata). He contributed to the development of the \zx-calculus (2) %(cyclotomic supplementarity)
and, together with Simon Perdrix and Renaud Vilmart, also at LORIA, they recently proved the completeness of the \zx-calculus for a universal Clifford+T fragment of quantum mechanics (3).
\textit{\color{gray}\textbf{Publications:} (1) ---. Universality in Quantum Computation. In ICALP 2004, Springer LNCS 3142. (2) ---, S. Perdrix, R. Vilmart, and Q. Wang. ZX-calculus: Cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics. MFCS 2017. (3) ---, S. Perdrix, and R. Vilmart. A complete axiomatisation of the ZX-calculus for Clifford+T quantum mechanics. arXiv:1705.11151, 2017.}
%\medskip
% \textbf{Beno\^it Valiron} (Assistant Prof. CentraleSup\'elec) obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
\textbf{Beno\^it
Valiron} (Assistant Prof. CentraleSup\'elec) from LRI (UMR 8623)
is also included within the LORIA site.
He obtained his Ph.D. In Mathematics at the University of Ottawa (Canada) in 2008. He is currently assistant professor at CentraleSup\'elec and researcher at LRI (laboratoire de recherche en informatique), Orsay. His research topics on interests include quantum computation, semantics of programming languages and models of computations, he is in particular co-inventor of the Quipper language. %He authored 8 journal articles, 1 book chapter and 11 international workshop and conference papers. He is currently co-supervising 1 Ph.D. Student.
\textit{\color{gray}\textbf{Publications:} (1) A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and ---. Quipper: A scalable quantum programming language. PLDI 2013.
(2) A. Scherer, ---, S.-C. Mau, Scott Alexander, E. van den Berg and T. E. Chapuran. Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Information Processing 16:60, 2017
(3) ---, N. J. Ross, P. Selinger, D. S. Alexander and Jonathan M. Smith. Programming the Quantum Future. Communications of the ACM, Vol. 58 No. 8, 2015.
(4) M. Pagani, P. Selinger, ---. Applying quantitative semantics to higher-order quantum computing. In POPL 2014.}
%\medskip
% \textbf{Renaud Vilmart}, PhD student supervised by E. Jeandel and S. Perdrix, has greatly contributed to make the \zx-calculus complete for Clifford+T quantum mechanics.
Stuff
\textbf{Dr Ross Duncan}, is \ldots
\vspace{1mm}\hrulefill\vspace{1mm}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Role in Project:}
\textbf{Role in Project:} LORIA will develop the front-end compilation of HLLs into \azx terms.
As one of the main contributors to the \zxcalculus and expert of 1WQC, LORIA will also play a key role in the development of \azx taking into account the different models of computation.
The site provies expertise both in quantum programming
languages and in the \zxcalculus.
The postdoc at LORIA
will spend half of their time on \ref{wp:frontend}, and divide the remaining time equally between the other WPs.
&International Centre for Theory of Quantum Technologies
\end{tabular}
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:}
Bull SAS, part of ATOS group, is the European industrial leader in
HPC and Big Data. It has extensive expertise of machine learning,
in particular in the context of high performance computing. It has
also a strong expertise in Quantum Computing, with a dedicated
team of 10 FTE, with activities relevant to the project : quantum
software, optimization of quantum circuits, high performance
simulation of quantum algorithms, theoretical physics.
\textbf{Cyril Allouche, PhD}, is the director of Quantum Computing R\&D of
Atos. An industrial member of the High Level Steering Committee of
the Quantum Flagship, he had strongly contributed to the
definition of Pillar 3, "compute". Relevant product is the "Atos
Quantum Learning Machine", first commercial product dedicated to
quantum programming and high performance simulation of quantum
algorithms
\textbf{Expertise:} The International Centre for Theory of Quantum Technologies (ICTQT) is a newly created research institute, funded by the Foundation for Polish Science, and hosted by the University of Gdansk, which is the pioneering and leading center of quantum information research in Poland. The founders of ICTQT are Marek Zukowski as the director, and Pawel Horodecki as a co-applicant, and the Centre’s official foreign partner is IQOQI-Vienna of the Austrian Academy of Sciences. ICTQT aims to address the central theoretical problems of quantum technologies, with emphasis on communication methods and quantum computation. The Centre consists of 7 groups, which cover different aspects of quantum resources, quantum computation and quantum cybersecurity. ICTQT hosts leading experts in the field, including M. Horodecki and M. Pawlowski. The Centre harnesses the knowledge and skills of established researchers with strong track records on quantum information theory and the foundations of quantum mechanics, and combines it with the drive and vision of young researchers. Research highlights of the members of ICTQT include the development of (i) quantum entanglement detection and quantification, (ii) quantum security beyond pure entanglement, (iii) device-independent quantum cryptographic protocols (iv) topological self-correcting memories for quantum computing, and (v) contextuality as a resource for one-way communication.
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Dr Ana Bel\'en Sainz} is shortly to be appointed as Group Leader for the “Foundational Underpinnings of Quantum Technologies” group at ICTQT, Gdansk. She has previously held postdoctoral positions at the University of Bristol (UK) and ICFO (Castellfdefels, Spain). Dr. Sainz is an expert on the nonclassical properties of Nature. Her research has focused on developing an operational understanding of these nonclassical features (see e.g. (1),(3) and (5)), which enables their use as a resource for information processing tasks. Dr. Sainz also has expertise on the development of Resource Theories, which enable the quantification of the nonclassicality (i.e. the “power“) of these resources. Her research moreover includes the search for an understanding of both the possibilities and limitations of quantum resources (see e.g. (2) and (4) ) for technological applications.
\textit{\color{gray}\textbf{Publications:} (1) A. Acín, T. Fritz, A. Leverrier and – . A Combinatorial Approach to Nonlocality and Contextuality. Comm. Math. Phys. 334:533, 2015. (2) T. Fritz, –, R. Augusiak, J. B. Brask, R. Chaves, A. Leverrier and A. Acín. Local Orthogonality as a multipartite principle for quantum correlations. Nat. Comm. 4:2263, 2013. (3) –, N. Brunner, D. Cavalcanti, P. Skrzypczyk and T. Vértesi. Postquantum steering. Phys. Rev. Lett. 115:190403, 2015. (4) –, Y. Guryanova, A. Acín and M. Navascués. Almost quantum correlations violate the no-restriction hypothesis. Phys. Rev. Lett. 120:200402, 2018. (5) Matty J. Hoban and –. A channel-based framework for steering, non-locality and beyond. New J. Phys. 20:053048, 2018.
}
% \medskip
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Role in Project:}
With their expertise in high-performance computing Bull, will
focus on the HPC simulation of \azx terms
(~\ref{task:HPC-sim-model}) however they will also contribute to
the front end (\ref{wp:frontend}) and compilation techniques
(\ref{wp:usefulstuff}). With expertise in building large scale
software Bull will also contribute the definition of the APIs that
the \azx toolchain will use.
ICTQT will develop the foundational aspects of ZX. The expertise of Dr. Sainz on operational underpinnings of quantum theory will contribute to the identification of the resources of quantum speedup for computation. The work of ICTQT will be focussed primarily on WP2. The postdoc working on this site will complement the skills of Dr. Sainz, and spend most of their time building connections between ZX and traditional approaches to the foundations of quantum resources, as well as the specific tasks outlined in WP2.
