Hello, I'm Yuhao Liu, a PhD student advised by Gushu Li at the University of Pennsylvania.

My research focues on Quantum Computing and Formal Methods. Specifically, I study how to construct quantum compilers and programming languages, reasoning about them and explore more semantics than merely gates and circuits. I hope my study could bring quantum computing to more areas.

I'm also interested in High-Performance Computing, especially how programming languages enhance the productivity of developing software for supercomputers.

Publications

Projects

Yuhao Liu
刘宇淏

liuyuhao at seas.upenn.edu (school)
yhliu2000 at outlook.com (personal)

Computer and Information Science Department
University of Pennsylvania
Philadelphia
United States

Plain Academic