معرفی
Xinyu Wang is an assistant professor in the Computer Science and Engineering Department at the University of Michigan, Ann Arbor. Their research focuses on program synthesis, formal methods, programming languages, and AI-assisted programming. They previously worked as a researcher at Microsoft and earned their PhD from the University of Texas at Austin.
- Current affiliation: University of Michigan (College of Engineering)
- Education: PhD in Computer Science from University of Texas at Austin
Research interests center on AI-assisted programming and program synthesis, combining formal methods, programming languages, AI/ML, and human-centered computing. Key areas include optimizing database queries, neuro-symbolic automation, and synthesis-aided software systems for diverse domains.
Recent publications span SQL optimization (2025–2024), web automation (2023–2022), and synthesis algorithms (2021–2020). Work addresses scalability, domain-specific insights, and formal reasoning techniques for complex workloads.
Scientific awards include:
- Distinguished Paper Award at OOPSLA 2024
- Best Paper Nomination at VLDB 2024
- Best Paper Honorable Mention at UIST 2022
- Distinguished Paper Award at OOPSLA 2020
Advises PhD students and postdoctoral fellows in program synthesis and AI-assisted systems. Serves on program committees for PLDI, POPL, and OOPSLA. Develops synthesis-aided tools for database optimization, web automation, and computational science.
