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)

**Conference papers**

*A Complete Equational Theory for Quantum Circuits*

(with Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Benoît Valiron),**LiCS’23**[arXiv]*Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus*(with Alexandre Clément)

**MFCS’22**[doi, arXiv].*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].*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]*Hybrid quantum-classical circuit simplification with the ZX-calculus*(with Agustín Borgna, Benoît Valiron)

**APLAS’21**[doi, arXiv].*Coherent control and distinguishability of quantum channels via PBS-diagrams*(with Cyril Branciard, Alexandre Clément, Mehdi Mhalla)

**MFCS’21**[doi, arXiv].*Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory*(with Titouan Carette, Marc de Visme)

**LiCS’21**[doi, 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é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**

*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**[arXiv]*Completeness of Graphical Languages for Mixed States Quantum Mechanics*

(with Titouan Carette, Emmanuel Jeandel, and Renaud Vilmart)**ACM Transactions on Quantum Computing**[doi]*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**

*Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace*

(with Alexandre Clément, Noé Delorme, Renaud Vilmart), preprint [arXiv]*Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences*

(with Vivien Vandaele, Simon Martiel, Christophe Vuillot), preprint, [arXiv]*Characterising Determinism in MBQCs involving Pauli Measurements*

(with Mehdi Mhalla, 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

- 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