Renaud Vilmart's photo

About

I am currently a postdoctoral researcher at LRI, in the team VALS, with Benoît Valiron.
I am interested in quantum computing in general, more specifically in categorical quantum mechanics and formal methods for quantum computing. I have worked on the development of a graphical language called ZX-Calculus, which can be used for visualising and reasoning about quantum processes.
I did my Ph.D. with Emmanuel Jeandel and Simon Perdrix at Loria, in the team Mocqua. I have defended my thesis on September, 19th 2020. My manuscript is available here.
My CV can be found here.

Research

My primary focus is the development of the ZX-Calculus, a graphical language for quantum computing, stemming from category theory. In this formalism, quantum processes are expressed in a graphical fashion, in a way akin to boolean circuits. The language is at the same time very intuitive, and unifies other models for quantum computing such as quantum circuits and measurement calculus.
The ZX-Calculus comes equipped with a set of graphical transformations that are allowed as they do not change the overall quantum operator that is represented. During my Ph.D., I tackled the problem of completeness of the language: knowing whether there were enough transformations to completely capture quantum mechanics.
You can find a list of my publications here. This one got me the Kleene award for best student paper at the conference LiCS (Logics in Computer Science).

Contact

Email

vilmart[at]lri[dot]fr

Address

Laboratoire de Recherche en Informatique, Université Paris Sud,
Bât 650 Ada Lovelace, Bureau 68
Rue Noetzlin, 91190 Gif-sur-Yvette