Wang, Xinyu

Wang, Xinyu

Assistant Professor, EECS - Computer Science and Engineering
he/him/his
Research Interests: Programming Languages, Formal Methods, Software Engineering. Program synthesis, verification, analysis, and testing. WebsiteEmail: Phone: 734-763-1325Office: 4620 Beyster