I am a research scientist at a stealth mode AI startup. I obtained my PhD degree in Computer Science at UT Austin, advised by Işıl Dillig and Greg Durrett. My PhD research focuses on combining deep learning with static analysis techniques to automate programming tasks such as inferring type annotations and suggesting code changes. During my first few years as a PhD student, I also explored a range of other research interests, including software security and verification, program synthesis, and robotics. Before joining UT, I received my bachelor’s degree in Physics from the University of Science and Technology of China.
PhD in Computer Science, 2018—2023
UT Austin
BSc in Physics, 2013—2017
University of Science and Technology of China