This website is no longer up to date. It has been moved to https://rvilmart.github.io/.
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.