Pinhan Zhao

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

Email: pinhan@umich.edu

Google Scholar LinkedIn PGP CV

Research

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.

Publications

Fixing TCP Slow Start for Slow Fat Links [PDF]
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 [PDF]
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 [PDF]
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Proceedings of the 0x15 NetDev Conference (Netdev 0x15)

Honors and Awards