This website is no longer up to date. It has been moved to https://rvilmart.github.io/.
I was a Ph.D. Student in the field of quantum information, under the supervision of Emmanuel Jeandel and Simon Perdrix at Loria in the team Mocqua.
I am studying an intuitive graphical language called ZX-Calculus that can be used to reason with quantum systems and compute them. This language comes from the category theory, and can in fact be seen as a generalisation of quantum circuits. One of its potential uses is hence to make a bridge between the high-level programming and the low-level embedding of quantum algorithms.
We particularly proved the completeness of the language for the first approximately universal fragment [?], and implemented the new axioms (here) in Quantomatic.
I now work as a postdoc with Benoît Valiron at LRI in Saclay.
