Pinhan Zhao

Pinhan Zhao is a PhD student in the Electrical Engineering and Computer Science Department at the University of Michigan, advised by Xinyu Wang. He received his bachelor's degree in Computer Science from New York University.


Google Scholar LinkedIn CV


My research interests span the areas of programming languages and automated reasoning. I'm particularly interested in developing techniques that can automatically reason and solve problems across different domains. My ongoing work revolves around the following topics.


VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints [arXiv]
Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang
Proceedings of the ACM on Programming Languages (OOPSLA 2024)

Fixing TCP Slow Start for Slow Fat Links [paper]
Maryam Ataei Kachooei, Pinhan Zhao, Feng Li, Jae Won Chung, Mark Claypool
Proceedings of the 0x16 NetDev Conference (Netdev 0x16)

Competing TCP Congestion Control Algorithms over a Satellite Network [paper]
Pinhan Zhao, Benjamin Peters, Jae Won Chung, Mark Claypool
Proceedings of the 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC 2022)

TCP HyStart Performance over a Satellite Network [paper]
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Proceedings of the 0x15 NetDev Conference (Netdev 0x15)


Honors and Awards