I am currently a Postdoc in the QuaCS team of LMF.
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.
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.
