- Ph.D., The University of Texas at Austin (2023)
- M.Sc., The University of Texas at Austin (2020)
- B.Sc., University of Science and Technology of China (2017)
- Machine learning and natural language processing for software engineering, including code completion, generation, and summarization, code and comment co-evolution, etc.
- Software testing and formal verification, including test completion and generation, machine learning for proof engineering, etc.