My Current Work

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 recently proved the completeness of the language for the first approximately universal fragment [?], and implemented the new axioms (here) in Quantomatic.