Section: Highlights of the Year

Highlights of the Year

Completeness of the ZX-Calculus

We have proved this year the completeness of the ZX-calculus. The completeness of the ZX-calculus was the main open question in the field of categorical quantum mechanics and was open for about 10 years. This results has been published at LiCS'18 [17], [16] and also presented at TQC'18 and QIP'19, the main two conferences in quantum information processing.