top of page
A/Prof. Simon Devitt: Team Members
Feng Group
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
Xiangzhen Zhou
POSTDOC
Youle Wang
PHD STUDENT
Jingtong Ge
PHD STUDENT
Afrad Basheer
PHD STUDENT
A/Prof. Simon Devitt: Clients
bottom of page