top of page
A/Prof. Simon Devitt: Team Members
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.
A/Prof. Simon Devitt: About Me
Feng Group, Center for Quantum Software and Information
ASSOCIATE MEMBERS AQSN
A/Prof. Simon Devitt: Clients
bottom of page