Yuhao Zhang 张煜皓

About Me

I am a second-year PhD student in computer science at the University of Wisconsin–Madison. I am now doing research at madPL group, supervised by Loris D'Antoni and Aws Albarghouthi. I received my B.S. in Computer Science at Peking University (PKU) in 2019, supervised by Yingfei Xiong.

I am good at algorithms and data structures. I was one of the teaching assistants of Algorithm Design and Analysis in 2018 spring semester. I was a contestant of ACM-ICPC and I had won four gold medals at Regional and China-Final contests. When I was in high school, I won a gold medal at the National Olympiad of Informatics.

Here is my CV.

Research Interest

My main research interest is software engineering and programming languages, especially program analysis and program synthesis. One goal of my research is to develop formal methods for trustworthy deep learning. Specifically, I am interested in developing formal methods to certify and improve the robustness of neural networks and verify the correctness of deep learning software.


On arxiv:



Some Things

I love swimming. My best record of 2km-swimming is 42 minutes. I find swimming is a good way to ease my anxiety. Currently, I focus on keeping fit and I go to gym three times a week. I also love cooking. I hope that I could open a blog to record my dishes throughout my PhD study. Yo estudio español.

My girlfriend Haotang Liu has her lovely personal website.


1210 W. Dayton Street, Room 6352
yuhaoz ~at~ cs ~dot~ wisc ~dot~ edu