Xinyu Wang

Assistant Professor, EECS - Computer Science and Engineering

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