Welcome to 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.

News

25.02.2026 Zhicheng Zhang joined the team as a postdoctoral researcher. Welcome Zhicheng!

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