Quantum software will play an essential role in exploiting the super-power of quantum computing. However, it is extremely difficult to guarantee its correctness due to the spooky nature of quantum systems. We aim to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. Our main approaches include Hoare logic and model-checking for quantum systems.
Feng Group, Center for Quantum Software and Information
ASSOCIATE MEMBERS AQSN