Faculty

Xinyu Wang

Assistant professor, Electrical Engineering and Computer Science

Contact
734-763-1325
xwangsd@umich.edu
Website

Xinyu Wang portrait

Research

My research interests are in the areas of programming languages, formal methods, and software engineering. In particular, I’m interested in developing intelligent programming systems that allow programmers and non-programmers
to create reliable software easily in a correct-by-construction manner. This is a topic at the intersection of programming systems and artificial intelligence; my research draws upon and advances the state-of-the-art in both areas.

Research Areas

AI; ML and Statistical Inference
Data Processing; Integration; Mining and Visualization