The QTS@UTS Group: The Quantum Technologies at Scale (QST) group at UTS focuses on the design and architectural challenges of quantum computing and communications technology when scaled to millions or billions of qubits. Our work aims at shaping the evolution of the quantum technology world in the coming years and decades and we thrive on finding the most exciting and craziest applications of quantum technology at scale.
VeriQC: The aim of VeriQC's research is to establish a comprehensive framework and a series of techniques for the formal verification of quantum hardware, particularly quantum circuits. Research topics include model checking quantum systems, tensor network based decision diagram (TDD), quantum circuit transformation and optimisation, verification of quantum circuits (particularly equivalence checking).