I am a Ph.D. Student in the field of quantum information, under the supervision of Emmanuel Jeandel and Simon Perdrix.

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.