Xinyu Wangمشاهده پروفایل
پژوهشگر ارشد
Xinyu Wang is a Research Fellow at the University of Michigan's Department of Physics, affiliated with the School of Literature, Science, and the Arts (LSA). Their primary office is located in the Randall Laboratory, and they are also associated with the Homer A. Neal Lab. Wang's work focuses on advancing program synthesis techniques, web automation systems, and data-driven methodologies to enhance software development and user interaction. Their research addresses challenges in SQL query verification, cloud computing simplification, and integrating human feedback into automated processes. While specific educational background details are not provided in the text, Wang's research demonstrates expertise in computer science, programming languages, and software engineering. Their projects include developing tools like VeriEQL for SQL equivalence verification, Miwa for user-controlled web automation, and SlabCity for query optimization. These efforts highlight a trend toward creating systems that blend formal methods with practical usability. Key Research Themes: Program synthesis, compiler design, database systems, human-computer interaction, neurosymbolic AI, and automated workflows Wang’s contributions include innovations in data structure refinement, cloudless computing architectures, and tensor transformation tools. Their work often emphasizes reliability, user confidence, and scalable solutions. No formal advisees or grants are explicitly listed in the provided texts. However, their involvement in advising resources like 'Advising Career Resources' suggests a role in supporting academic and professional development within the department. Wang collaborates with labs and teams focused on physics and computational sciences, contributing to interdisciplinary projects. Their contact information includes the email wongxy@umich.edu and office phone numbers 734-764-4437 and 734-763-9694.







