Xinyu Wang

Assistant Professor, Electrical Engineering & Computer Science

he/him/hisEmail: Phone: 734-763-1325Office: 4620 BeysterWebsiteResearch Interests: Programming Languages, Formal Methods, Software Engineering. Program synthesis, verification, analysis, and testing.