I am an applied scientist at Amazon Q Developer.

I was on the academic job market! Here are my statements: [Research Statement], [Teaching Statement], [Diversity Statement].

Welcome! I'm Yuhao. I got my Ph.D. in computer science at the University of Wisconsin–Madison, conducting research at the madPL group, under the guidance of Prof. Loris D'Antoni and Prof. Aws Albarghouthi. I received my B.S. in Computer Science at Peking University (PKU) in 2019, mentored by Prof. Yingfei Xiong.

I am good at algorithms and data structures. 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.

My primary research focuses on the fields of software engineering, programming languages, and deep learning. The goal of my research is to provide provable guarantees for deep learning, ensuring its safety, security, and reliability via formal methods. I am also interested in integrating program synthesis with deep learning techniques, such as large language models, to generate programs in a interpretable and verifiable manner.