Ph.D. student at the Institute of Software, Chinese Academy of Sciences.Research interests: quantum algorithms and quantum program logic.
Sorry, but the page you were trying to view does not exist.