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.


Pinned Publications

Other Publications


Projects

  • XGrid
    Domain-specific language for developing partial differential equation solvers

Teaching

  • Teaching assistant for UPenn CIS 3990 Introduction To Quantum Computing

Yuhao Liu
刘宇淏

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

Computer and Information Science Department
University of Pennsylvania

Plain Academic