Minbo Gao

Ph.D. student at the Institute of Software, Chinese Academy of Sciences.
Research interests: quantum algorithms and quantum program logic.