- CNRS researcher (tenure position CRCN)
- Elected Member and Scientific secretary at CoNRS (Comité National de la Recherche Scientifique / CNRS Scientific Board), Section 6 (computer science)
- Head of the CNRS network on Quantum Computing GT IQ (Groupe de Travail Informatique Quantique). GT IQ is part of the CNRS GdR IM (Groupe de Recherche en Informatique Mathématique)
- Board of the CNRS network on Quantum Engineering (GdR IQFA).
- Member of the Inria Mocqua team and LORIA
- Member of the Inria Challenge project EQIP
- Member of the Inria Associate team TC(Pro)3
Bio
Since 2009, I am a `Chargé de Recherche’ (junior researcher, tenure position) at CNRS (INS2I – section 6). From 2009 to 2013, I worked at the Laboratoire d’Informatique de Grenoble (LIG) in the CAPP team. I moved to the CARTE team in LORIA in Sept 2013. I am now working the Inria Mocqua team. I obtained my HDR from Université de Lorraine, my PhD from Laboratoire Leibniz, Grenoble-INP, and my M.Sc from Université Joseph Fourier. I am a former student of Ecole Normale Supérieure de Cachan and of ENSIMAG.
Previous positions:
- Laboratoire d’Informatique de Grenoble (LIG), [CR CNRS]
- Oxford University Computing Laboratory (OUCL), [postdoc];
- Laboratory for Foundation of Computer Science (LFCS), University of Edinburgh [postdoc];
- Laboratoire Preuves, Programmes et Systèmes (PPS), Université Paris Diderot [postdoc]
- Laboratoire Leibniz [PhD].
Projects
- NEASQC [2020-2024] EU Quantum Flagship complementary call.
- HPCQS [2021-2024] EuroHPC call.
- STIC-AmSud project QAPLA Quantum aspects of programming languages (21-SITC-10) [2021 – 2022]: Argentina/Chile/France/Uruguay. (site leader)
- ANR PRCE SoftQPro [2017-2022]: Loria, Atos-Bull, LRI, CEA List, LRI. (Principal Investigator)
- ANR PRCI VanQuTe [2017-2022]: France: Loria, Lip6, Singapore: SUTD, NUS, NTU. (site leader)
- PIA Quantex [2017-2021]: Atos, Loria, LRI, CEA/Leti. (WP leader, site leader)
- ECOS-Sud QuCa Quantum Calculi. [2018-2020] Argentina/France. (site leader)
- UOQ project, Future Leader 2018, initiative of Lorraine Universiteé d’Excellence (Principal Investigator)
- STIC FoQCoSS [2016-2017] Argentina/France. (site leader)
- PEPS CNRS Combinatorial Quantum Games [2016-2017] (member)
- ANR JCJC Causaq [2011-2017] (member)
- PEPS CNRS QuAND [2010-2011] (member)
- PEPS CNRS GraphIQ [2010-2011] (Principal Investigator)
Award
Best Ph.D. thesis award from Grenoble INP for my [ Ph.D thesis ].
Students/Postdocs
Current PhD students
- Margarita Veshchezerova [PhD UL 2019-… / CIFRE EDF] (cosupervised with Marc Porcheron and E. Jeandel)
- Agustin Borgna [PhD UL 2019-… / ANR SoftQPro] (cosupervised with Benoît Valiron)
- Alexandre Clément [PhD UL 2019-… / CDSN ENS Lyon] (cosupervised with Emmanuel Jeandel)
- Robert Booth [PhD Sorbonne Université, 2018-… / ANR VanQuTe] (cosupervised with Damian Markham)
- Titouan Carette [PhD UL 2018-… / CDSN ENS Lyon] (cosupervised with Emmanuel Jeandel)
Former PhD Students
- Renaud Vilmart [PhD UL 2016-2019] (cosupervised with Emmanuel Jeandel)
-> Now Inria researcher (ISFP) at Deducteam, LSV. - David Cattaneo [PhD Student Grenoble University, defended in 2017] (cosupervised with Pablo Arrighi)
-> Now research engineer at Alten. - Jérôme Javelle [PhD Student Grenoble University, defended in 2014] (cosupervised with Pablo Arrighi and Mehdi Mhalla)
-> Now working for a Quantum Computing Start up (UK).
Postdocs
- Marc De Visme [2020 – … – Quantex]
- Vladimir Zamdzhiev [2018 – 2020 – Quantex and Region Lorraine]
-> Now Inria researcher (ISFP) in the Inria Mocqua team, LORIA. - Francesco Arzani [2018-2019 – ANR VanQuTe]
-> Now Humboldt Postdoc, Freie Universität Berlin. - Harny (Quanlong) Wang [2015-2016 – Postdoc Région Lorraine]
-> Now Research associate at University of Oxford.
Internships
- Alexandre Clément [PreDoc ENS Lyon 2019]
- Titouan Carette [M2 ENS Lyon 2018]
- Henri de Boutray [M2 Esisar 2018]
- Renaud Vilmart [M2 UL 2016]
- Arinta Primandini Auza [M2 ENS Cachan 2016]
- Nidhal Hamrit [M2 Telcom Paristech 2015]
- Ali Assaf [M1 Ecole Polytechnique 2011]
- Luc Pellissier [L3 ENS Cachan 2011]
- David Cattaneo [M2 UJF 2012]
Interest
I am interested in Quantum Computing (QC) and more precisely in the Foundational Structures for Quantum Information and Computation. I am working on
- Models of QC (measurement-based quantum computing, quantum Turing machines)
- High-level methods for QC (ZX-calculus, circuit optimisation, category theory, semantic techniques, abstract interpretation, typing system)
- Quantum algorithms (NISQ, QAOA)
- Graph theory and QC connections (flow, local complementation, graph state)
- Quantum cryptography (secret sharing)