Title
Assistant Professor
Education
Ph.D.Computer Science University of Southern California (2023)
BS Computer Science Huazhong University of Science and Technology (2017)
Research Areas
Formal Methods, Neural Networks
Key Areas
software engineering and formal methods
Notable Experience
Postdoctoral Researcher. - The University of Texas at Austin
Notable Awards
Distinguished Paper Award of PLDI (2023)
MIT EECS Rising Star (2021)
WiSE Merit Award (2021)
Biography
My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, and fairness of software systems. I will be a Postdoctoral Researcher in the Department of Computer Science at University of Texas, Austin, working with Professor Isil Dillig. I obtained my PhD in Computer Science from the University of Southern California in 2023, where I worked with Professor Chao Wang.