From 3bbcb98580f47692a8869ce0a6e00e12f1aa28af Mon Sep 17 00:00:00 2001
From: Emmanuel Jeandel <ejeandel@free.fr>
Date: Fri, 15 Feb 2019 10:07:00 +0100
Subject: [PATCH] restructuring Partner 2.
---
NEWPROPOSAL/FULLPROP.tex | 42 +++++++++++++++++++++++++++-------------
1 file changed, 29 insertions(+), 13 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index a4477a4..dad3354 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1195,10 +1195,9 @@ collaboration is a strong point of this project.
\subsection{Work Packages \REM{1page per WP}}
\label{sec:work-packages}
-\TODOb{Partner contributions missing in all WPs.}
\begin{WP}{A quantum compiler stack}{1M}{36M}{wp:frontend}
\WPleaderLOR
-\WPeffort{0}{0}{0}{0}{\newt{12}}{0}
+\WPeffort{0}{14}{32}{5}{\newt{12}}{3}
\begin{WPaim}
This WP develops elements of \zx as an abstract intermediate
compiler language. We provide interface between \zx and known
@@ -1238,16 +1237,21 @@ collaboration is a strong point of this project.
it possible to test
the {\dzxc} framework on real, possibly very large instances of
programs. This task will progressively incorporate new features
- of the \dzxc language as they are developed,
- especially in concert with \ref{task:betterboxes}.
+ of the \dzxc language %as they are
+ developed
+ % especially in concert with
+ in \ref{task:betterboxes}.
%
}
\WPtask[\label{task:trans1}]{Open API for \dzxc (M1--M36;
responsible 3; involved 2,4,5)}{%
Develop an open API for the description of ZX terms. While
- largely technical, it is nonetheless essential as it will be used
+ largely technical, it is% nonetheless
+ essential as it will be used
as interface to express the benchmarks of
- Task~\ref{task:testBench} to feed to the other WPs. The API will
+ Task~\ref{task:testBench}.
+ % to feed to the other WPs.
+ The API will
first be built upon the existing JSON representation for the
\zxcalculus. It will be expanded with the features of \dzxc as they
become available. This task is tightly linked with
@@ -1885,8 +1889,13 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:}
- 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.
+ 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
@@ -1899,7 +1908,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
% (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.
+ \textbf{Simon Perdrix} is researcher at CNRS 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
@@ -1908,7 +1917,7 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
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.}
+ \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. LICS, 2018.}
%\medskip
@@ -1920,16 +1929,23 @@ brings expertise in devices large scale fabrication and characterization (DCOS d
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.
+ (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 2017
+ (3) ---, N. J. Ross, P. Selinger, D. S. Alexander and Jonathan M. Smith. Programming the Quantum Future. Communications of the ACM, 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}
+\hrulefill
+
+ \emph{Note that LORIA and LRI are administratively two different
+ partners. For logistic and scientific reasons, they are grouped
+ together in the presentation of the project.}
+
+\hrulefill
+
\textbf{Role in Project:} LORIA will develop the front-end compilation of HLLs into \dzxc 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 \dzxc taking into account the different models of computation.
The site provides expertise both in quantum programming
--
GitLab