CV

  • 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

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)