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.
Computer and Information Science Department
University of Pennsylvania