Veriqc

About Us

We are researchers at the Centre for Quantum Software and Information (QSI), The University of Technology Sydney (UTS). The aim of our research is to establish a comprehensive framework and a series of techniques for the formal verification of quantum hardware, in particular, quantum circuits. Meet our team

(Postdoc and PhD positions are available, please send your CV to sanjiang.li@uts.edu.au)

Research topics

* Quantum Programming

* Model checking quantum systems

* Tensor network based decision diagram (TDD)

* Quantum circuit transformation and optimisation

* Verification, in particular, equivalence checking, of quantum circuits

See our publications

News

13.12.2024 Work on "A Practical Quantum Hoare Logic with Classical Variables, I" is online.

26.11.2024 ARC Discovery Project Awarded ($510,636)
Foundation of Refinement Techniques for Quantum Programming.

See more news