Signed in as:
filler@godaddy.com
Signed in as:
filler@godaddy.com
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
* Model checking quantum systems
* Tensor network based decision diagram (TDD)
* Quantum circuit transformation and optimisation
* Verification, in particular, equivalence checking, of quantum circuits
27.07.2023 Work on "Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs" is accepted for publication by Information & Computation
21.07.2023 Work on "Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping" is accepted into ICCAD 2023.
31.01.2023 Work on "Verification of Nondeterministic Quantum Programs" by Yuan and Yingte has been accepted for presentation at ASPLOS23
24.12.2021 ARC Discovery Project Awarded ($435,000.00)
Formal Verification of Quantum Logic Circuits.
Copyright © 2021 VeriQC - All Rights Reserved.
Powered by GoDaddy