Alexandre Clément
Postdoc - Université Paris-Saclay
Email: alexandre.clement at inria dot fr
Address:
Bât 650 Ada Lovelace
Rue Raimond Castaing
91190 Gif-sur-Yvette, France
Presentation
I am currently a Postdoc in the QuaCS team of Laboratoire Méthodes Formelles (LMF).
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 recently completed 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.