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 ]

• NEW – Our paper, with Nathan Claudet, on the graphical characterisation of local equivalence of stabilizer states has been accepted for a talk presentation at QIP’25.
• NEW – PC member MFPS 2025

Recent contributions (here is a list of publications)

Conference papers

• Minimal Equational Theories for Quantum Circuits
  (with Alexandre Clément, Noé Delorme) LiCS’24 [doi, arXiv]
• Vertex-minor universal graphs for generating entangled quantum subsystems
  (with M. Cautrès, N. Claudet, M. Mhalla, V. Savin, S. Thomassé) ICALP’24 [doi, arXiv]
• Covering a Graph with Minimal Local Sets
  (with N. Claudet) WG’24 [arXiv]
• On the Hardness of Analyzing Quantum Programs Quantitatively
  (with Martin Avanzini, Georg Moser, and Romain Péchoux) ESOP’24 [doi, arXiv, HAL]
• Quantum Circuit Completeness: Extensions and Simplifications
  (with Alexandre Clément, Noé Delorme, and Renaud Vilmart) CSL’24 [doi, arXiv, HAL]
• A Complete Equational Theory for Quantum Circuits
  (with Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Benoît Valiron), LiCS’23 [doi, arXiv, HAL]
• Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus
  (with Alexandre Clément) MFCS’22 [doi, arXiv, HAL].
• LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
  (with Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Benoît Valiron) MFCS’22 [doi, arXiv, HAL].
• Quantum Expectation Transformers for Cost Analysis
  (with Martin Avanzini, Georg Moser, Romain Péchoux, and Vladimir Zamdzhiev) LiCS’22 [doi, arXiv, HAL].
• Addition and Differentiation of ZX-diagrams
  (with Emmanuel Jeandel, Margarita Veshchezerova) FSCD’22 [doi, arXiv, HAL]
• Hybrid quantum-classical circuit simplification with the ZX-calculus
  (with Agustín Borgna, Benoît Valiron) APLAS’21 [doi, arXiv, HAL].
• Coherent control and distinguishability of quantum channels via PBS-diagrams
  (with Cyril Branciard, Alexandre Clément, Mehdi Mhalla) MFCS’21 [doi, arXiv, HAL].
• Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
  (with Titouan Carette, Marc de Visme) LiCS’21 [doi, arXiv, HAL]
• 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échoux,  Mathys 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

• Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences
  (with Vivien Vandaele, Simon Martiel, Christophe Vuillot), ACM Transactions on Quantum Computing [doi, arXiv, HAL]
• Outcome determinism in measurement-based quantum computation with qudits
  (with Robert I. Booth, Aleks Kissinger, Damian Markham, Clément Meignant) Journal of Physics A: Mathematical and Theoretical [doi, arXiv, HAL]
• Completeness of Graphical Languages for Mixed States Quantum Mechanics
  (with Titouan Carette, Emmanuel Jeandel, and Renaud Vilmart) ACM Transactions on Quantum Computing [doi, HAL]
• Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles
  (with Constantin Dalyac, Loïc Henriet, Emmanuel Jeandel, Wolfgang Lechner, Marc Porcheron, and Margarita Veshchezerova) EPJ Quantum Technology  [doi, arXiv, HAL]
• Completeness of the ZX-Calculus
  (with Emmanuel Jeandel and Renaud Vilmart). LMCS, 2020 [doi, arXiv, HAL].
• Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
  (with Ross Duncan, Aleks Kissinger, and John van de Wetering), Quantum journal, 2020 [doi, arXiv, HAL].
• Towards a Minimal Stabilizer ZX-calculus
  (with Miriam Backens and Harny (Quanlong) Wang) LMCS, 2020 [arXiv, HAL].
• Reversible Causal Graph Dynamics: Invertibility, Block representation, Vertex-preservation
  (with Pablo Arrighi and Simon Martiel), Natural Computing, 2019 [doi, arXiv, HAL].
• Contextuality in multipartite pseudo-telepathy graph games
  (with Anurag Anshu, Peter Høyer and Mehdi Mhalla), J. Comput.  Syst. Sci. (2019), [doi, pdf, HAL]
• A complete characterisation of All-versus-Nothing arguments for stabiliser states
  (with Samson Abramsky, Rui Soares Barbosa, Giovanni Carù) Phil. Trans. A Royal Society A [doi, arXiv, HAL].

Pre-prints

• Characterising Determinism in MBQCs involving Pauli Measurements
  (with Mehdi Mhalla and Luc Sanselme), preprint, [arXiv]
• Colored props for large scale graphical reasoning
  (with Titouan Carette) preprint [HAL]
• Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
  (with Niel de Beaudrap, Ross Duncan, Dominic Horsman), preprint, [arXiv]

Conference (without proceedings)

• Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences
  (with Vivien Vandaele, Simon Martiel, Christophe Vuillot), TQC’23
• A Complete Equational Theory for Quantum Circuits
  (with Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Benoît Valiron), TQC’23
• Addition and Differentiation of ZX-diagrams (with Emmanuel Jeandel, Margarita Veshchezerova)
  presented by Margarita Veshchezerova @ QPL’22
• LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits (with Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Benoît Valiron),
  presented by Nicolas Heurtel @ QPL’22
• Minimising Resources of Coherently Controlled Quantum Computations (with Alexandre Clément)
  presented by Simon Perdrix @ QPL’22
• Extracting reversible quantum circuits from measurement-based quantum computations with qudits (with Robert Booth)
  presented by Robert Booth @ QPL’22
• Quantum Expectation Transformers for Cost Analysis (with Martin Avanzini, Georg Moser, Romain Péchoux, and Vladimir Zamdzhiev)
  presented by Vladimir Zamdzhiev @ QPL’22
• Quantum Algorithms and Oracles with the Scalable ZX-calculus (with Titouan Carette, Yohann D’Anello)
  presented by Titouan Carette @ QPL’21
• Coherent control and distinguishability of quantum channels via PBS-diagrams (with Cyril Branciard, Alexandre Clément, Mehdi Mhalla)
  presented by Alexandre Clément @ QPL’21
• Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory (with Titouan Carette, Marc de Visme)
  presented by Titouan Carette @ QPL’21
• F-flow: determinism in measurement-based quantum computing for qudits  (with Robert I. Booth, Aleks Kissinger, Damian Markham)
  presented by Robert Booth @ QPL’21

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

• LICS’24 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Tallinn, Estonia.
• MCU’24 10th International Conference on UMachines, Computations and Universality (MCU 2024), Nice, France, June 3-7, 2024
• QPL’24 21st International Conference on Quantum Physics and Logic, 2023, Buenos Aires, Argentine.
• MFCS’23 47th International Symposium on Mathematical Foundations of Computer Science, 2023, Bordeaux, France.
• QPL’23 20th International Conference on Quantum Physics and Logic, 2023, Paris, France.
• TQC’23 18th Conference on the Theory of Quantum Computation, Communication and Cryptography, University of Aveiro, Portugal.
• QPL’22 19th International Conference on Quantum Physics and Logic, 2022, Oxford, UK.
• TQC’22 17th Conference on the Theory of Quantum Computation, Communication and Cryptography, University of Illinois at Urbana-Champaign.
• QPL’21 18th International Conference on Quantum Physics and Logic, 2021, Gdańsk, Poland.
• 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