Quantum Computer Scientist

I am a senior researcher in the Inria MOCQUA team at LORIA. My research area is Quantum Computing and related topics. [ here for details ]

Recent contributions (here is a list of publications)

Conferences

  • Hybrid quantum-classical circuit simplification with the ZX-calculus
    (with Agustín Borgna, Benoît Valiron) APLAS’21 [arXiv].
  • Coherent control and distinguishability of quantum channels via PBS-diagrams
    (with Cyril Branciard, Alexandre Clément, Mehdi Mhalla) MFCS’21 [arXiv].
  • Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
    (with Titouan Carette, Marc de Visme) LiCS’21 [arXiv]
  • PBS-calculus: A Graphical Language for Coherent Control of Quantum Computations
    (with Alexandre Clément) MFCS’20 [doi, arXiv, HAL].
  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
    (with Romain PéchouxMathys Rennela and Vladimir Zamdzhiev) FoSSaCS’20 [doi, arXiv, HAL].
  • Completeness of Graphical Languages for Mixed States Quantum Mechanics
    (with Titouan Carette, Emmanuel Jeandel, and Renaud Vilmart) ICALP’19 [doi, arXiv, HAL]
  • A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
    (with Emmanuel Jeandel and Renaud Vilmart) LiCS’19 [doi, arXiv, HAL].
  • SZX-calculus: Scalable Graphical Quantum Reasoning
    (with Titouan Carette and Dominic Horsman) MFCS’19 [doi, arXiv, HAL].
  • A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
    (with Emmanuel Jeandel and Renaud Vilmart) LiCS’18 [doi, arXiv, HAL].
  • Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
    (with Emmanuel Jeandel and Renaud Vilmart) LiCS’18 [doi, arXiv, HAL].

Journal

Pre-prints

Grants

  • 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.
  • ANR SoftQPro (ANR PRCE) PI [2017-2021]
  • ANR-NRF VanQuTe (ANR PRCI-France/Singapore) [2018-2022]
  • PIA-GDN QuantEx (with Atos-Bull, CEA, LRI) [2017-2020]
  • ECOS PA17C03 « QuCa » (with U. Quilmes, Inria, LIF, LRI) [2018-2019]
  • JCQ Jeux combinatoires quantiques (CNRS PEPS) [2016]
  • STIC-AmSud project FoQCoSS: Foundations of Quantum Computation: Syntax and Semantics [2016-2017]
  • Univ. Lorraine – Région Lorraine project Calcul quantique par mesure, PI [2014-2015]
  • CCQD Cryptographie et Calcul Quantiques Distribués (CNRS PEPS ICQ) [2013]
  • GraphIQ (CNRS-INS2I PEPS, PI) [2010-2011]
  • QuAND (CNRS-INS2I PEPS) [2010-2011]
  • CausaQ (ANR Jeune Chercheur) [2010-2015]

Program committees

  • QPL’21 18th International Conference on Quantum Physics and Logic, 2021.
  • QPL’20 17th International Conference on Quantum Physics and Logic, 2020, Paris, France.
  • QPL’19 16th International Conference on Quantum Physics and Logic, 2019, Chapman University, Los Angeles, USA.
  • QI’18 Quantum Interaction 2018 conference, Nice Sophia Antipolis, France.
  • MCU’18 8th Conference on Machines, Computations and Universality, 2018, Fontainebleau, France.
  • QPL’18 15th International Conference on Quantum Physics and Logic, 2018, Halifax, Canada.
  • DCM’18 12th International Workshop on Developments in Computational Models, FLoC 2018, Oxford, UK.
  • IQFA’17 8th IQFA’s Colloquium, 2017, Nice, France.
  • QPL’17 14th International Conference on Quantum Physics and Logic, 2017, Nijmegen, the Netherlands.
  • IQFA’16 7th IQFA’s Colloquium, 2016, Telecom ParisTech, Paris, France.
  • QPL’16 13th International Conference on Quantum Physics and Logic, 2016, Glasgow, Scotland.
  • AQIS’15 15th Asian Quantum Information Science Conference, August 24-28, 2015 in Seoul, Korea.
  • QPL’15 12th International Workshop on Quantum Physics and Logic, 2015, Oxford, UK.
  • IQFA’15 6th IQFA’s Colloquium, 2016, Telecom ParisTech, Paris.
  • STACS’14 Symposium on Theoretical Aspects of Computer Science, Lyon.
  • QPL’14 11th International Workshop on Quantum Physics and Logic, June 4-6, 2014, Kyoto, Japan.
  • ParQ’13 1st Workshop on Parallel Quantum Computing, Sept. 2013, Edinburgh.
  • QPL’13 10th International Workshop on Quantum Physics and Logic, 17-19 July 2013, Barcelona, Spain.
  • AQIS’13 13th Asian Quantum Information Science Conference, August 25-30, 2013 in Chennai, India.
  • QPL’12 9th workshop on Quantum Physics and Logic, 10-12 October 2012, Brussels, Belgium.
  • FounQI’12 Foundational principles in Quantum Information, workshop associated to UCNC 2012, 7-8 Sept. 2012.
  • AQIS’12 12th Asian Quantum Information Science Conference, August 23-28, 2012 in Suzhou, China.
  • Quantitative approaches @ LI’2012, February 20-24 2012, Marseille, France.
  • LI’2012 Logic and interactions 2012, 30 January to 2 March 2012, Marseille, France.
  • QPL’11 8th workshop on Quantum Physics and Logic, 27-29 October 2011, Nijmegen, the Netherlands.
  • MEMICS’11 7th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 14-16 October 2011, Lednice, Czech Republic.
  • DCM’10 Developments in Computational Models, Causality, Computations, and Physics, FLoC workshop, 09-10 July 2010, Edinburgh.
  • QPL’10 7th workshop on Quantum Physics and Logic, 29-30 May 2010, Oxford.
  • DCM’09 Developments in Computational Models, Computational Models From Nature, ICALP workshop, 11 July 2009, Rhodes, Greece.
  • CEQIP’09 6th Central European Quantum Information Processing Workshop 1-4 June 2009, Jindřichuv Hradec, Czech Republic

Teaching