My Current Work

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.