Hao Wang
Ph.D. Student@UCB
I am a second-year Ph.D. student in computer science at University of California, Berkeley, jointly advised by Koushik Sen and Dawn Song. I also collaborate closely with David Wagner. My interest lies generally in the intersection of AI and Security.
During my undergraduate, I worked on software testing with Darko Marinov, Tao Xie, and Tianyin Xu. I also worked on quantum computing with Tongyang Li with a focus on optimization algorithms. You can find my CV here: Tony’s Curriculum Vitae
news
| Apr 15, 2025 | Our paper Type-Constrained Code Generation with Language Models is accepted at PLDI 2025! |
|---|---|
| Sep 2, 2023 | I am selected as a young researcher at HLF 2023! Looking forward to meeting the laureates and peer researchers  |
selected publications
- BenchJackDo Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack2026
- TypeType-Constrained Code Generation with Language ModelsIn PLDI 2025