Pinhan Zhao
Pinhan Zhao is a PhD candidate 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.
Email: pinhan@umich.edu
Research
My research areas are programming languages and automated reasoning. I'm particularly interested in developing techniques that combine neural and symbolic approaches to automatically reason about and solve problems across different domains.
Publications
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation SearchPinhan Zhao, Yuepeng Wang, Xinyu Wang
PLDI 2025
[paper] [extended version]
Automated Lifting for Cloud Infrastructure-as-Code Programs
Jingjia Peng, Yiming Qiu, Patrick Tser Jern Kon, Pinhan Zhao, Yibo Huang, Zheng Guo, Xinyu Wang, Ang Chen
AIOps @ ICSE 2025
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
Pinhan Zhao*, Yang He*, Xinyu Wang, Yuepeng Wang (* Equal contributions)
VLDB 2024 Demo
[paper] [poster]
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang (* Equal contributions)
OOPSLA 2024
ACM SIGPLAN Distinguished Paper Award
[paper] [extended version]
Teaching
- Graduate Student Instructor, EECS 498/CSE 598 Intelligent Programming Systems, Fall 2025
Service
- Artifact Evaluation Committee: CAV 2025, PLDI 2025, ASPLOS 2025, OOPSLA 2025, ICSE 2025, POPL 2025, PLDI 2024
Personal
My Myers-Briggs personality type is INTP-A.
I love penguins, sea otters, and various kinds of birds!