I am a Ph.D. student in the Computer Science and Engineering Department at the University of California, San Diego . I am fortunate to be advised by Prof. Nadia Polikarpova , and be a member of Programming Systems group .
I am interested in using Programming Languages techniques to automate programming tasks. Currently, my focus is on program synthesis tools, which generate programs from high-level specifications. My goal is to enable the synthesis to scale to real-world tasks and to infer human intentions from limited information.
MSc in Computer Science, 2019
University of California, San Diego
BSc in Software Engineering, 2017
Shanghai Jiao Tong University