About Me
I am currently a postdoc in the Department of Mathematics and Statistics at Dalhousie University in Halifax, Canada.Until May 2026, I was in the QuaCS team of Laboratoire Méthodes Formelles (LMF) at Université Paris-Saclay. Before that, I did my PhD under the supervision of Simon Perdrix and Emmanuel Jeandel in the MOCQUA team of LORIA, which I completed in May 2023.
My main research interests are in the domain of formal methods for quantum computing, especially diagrammatic reasoning with graphical languages made of string diagrams. As part of my doctoral work, I have in particular built graphical languages designed for linear optics and quantum control. More recently, I have shifted my focus on quantum circuits: notably, I found the first complete equational theory for them in 2023. Since then, my research has been mainly centered around those complete equational theories.
My work is currently funded by the Natural Sciences and Engineering Research Council of Canada (NSERC) under Canada Impact+ Research Training Awards (CIRTA).
I am currently a postdoc in the Department of Mathematics and Statistics at Dalhousie University in Halifax, Canada.
Until May 2026, I was in the QuaCS team of Laboratoire Méthodes Formelles (LMF) at Université Paris-Saclay. Before that, I did my PhD under the supervision of Simon Perdrix and Emmanuel Jeandel in the MOCQUA team of LORIA, which I completed in May 2023.
My main research interests are in the domain of formal methods for quantum computing, especially diagrammatic reasoning with graphical languages made of string diagrams. As part of my doctoral work, I have in particular built graphical languages designed for linear optics and quantum control. More recently, I have shifted my focus on quantum circuits: notably, I found the first complete equational theory for them in 2023. Since then, my research has been mainly centered around those complete equational theories.
My work is currently funded by the Natural Sciences and Engineering Research Council of Canada (NSERC) under Canada Impact+ Research Training Awards (CIRTA).
Links:
Publications
2026
- A Complete Equational Theory for Real-Clifford+CH Quantum Circuits.
arXiv
HAL
DOI
BibTeX
41st Annual Symposium on Logic in Computer Science (LICS 2026)
Alexandre Clément
2024
- Minimal Complete Equational Theories for Quantum Circuits.
arXiv
HAL
DOI
BibTeX
39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024)
Alexandre Clément, Noé Delorme, and Simon Perdrix - Quantum Circuit Completeness: Extensions and Simplifications.
arXiv
HAL
DOI
BibTeX
International Conference on Computer Science Logic (CSL 2024)
Alexandre Clément, Noé Delorme, Simon Perdrix, and Renaud Vilmart
2023
- A Complete Equational Theory for Quantum Circuits.
arXiv
HAL
DOI
BibTeX
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, and Benoît Valiron - PhD Thesis Graphical Languages for Quantum Control and Linear Optics. / Langages graphiques pour le contrôle quantique et l'optique linéaire.
DOI
PDF
HAL
BibTeX
PhD thesis, Université de Lorraine. Defended on May 16, 2023. Manuscript in English, with introduction in French.
Alexandre Clément
2022
- LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits.
arXiv
HAL
DOI
BibTeX
47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, and Benoît Valiron - Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus.
arXiv
HAL
DOI
BibTeX
47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Alexandre Clément and Simon Perdrix
2021
- Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams.
arXiv
HAL
DOI
BibTeX
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, and Simon Perdrix