I am currently a second-year Ph.D. student in CSE at UMich

I'm currently a second-year Ph.D. student in Computer Science and Engineering at University of Michigan, advised by Professor Xinyu Wang.

Previously, I received my bachelor's degree with honors in Computer Science from the University of Science and Technology of China.

I am interested in Programming Languages, Software Engineering and Artificial Intelligence. I'm execited to work in program synthesis, where we can design language, algorithms, and also combine AI tools to help users to solve their difficult problems in specific domains with reliability.

Recently, I'm working on developing synthesis tools for optimizing linear algebra kernels, I'm also working to combine Large Language Models and Program Synthesis techniques in the domain of web automation, so that we can help users based on their natural language and demonstrations to automate online procedures.