top of page

Prof. Yuan Feng

UNIVERSITY OF TECHNOLOGY SYDNEY

Yuan Feng is Professor of quantum information at the Center for Quantum Software and Information at the University of Technology Sydney

  • google-scholar
  • arxiv-icon
  • LinkedIn
photo.png
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.

untitled.003-1-2.jpeg
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