Alexandre Clément
Postdoc at Dalhousie University
Formerly at LMF/Université Paris-Saclay (June 2023 - May 2026)
Current email: alexandre.clement at dal dot ca
Current office: 224 - Chase Building, 6297 Castine Way, Halifax, NS, Canada
Presentation
I am now a postdoc in the math department at Dalhousie University. This is my old web page, the new one (as of October 2026) is at https://www.mathstat.dal.ca/~aclement/.
Until May 2026, I was in the QuaCS team of Laboratoire Méthodes Formelles (LMF) at Université Paris-Saclay.
My main research interests are in the domain of formal methods for quantum computing, especially diagrammatic reasoning with graphical languages. I have in particular worked on graphical languages designed for linear optics and quantum control, and on finding complete equational theories for quantum circuits.
I completed in 2023 my PhD on Graphical Languages for Quantum Control and Linear Optics, done under the supervision of Simon Perdrix and Emmanuel Jeandel in the MOCQUA team of LORIA. You can find my manuscript here.