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.
Faculty
Xinyu Wang
Assistant professor, Electrical Engineering and Computer Science
Contact
734-763-1325
[email protected]
Website
Research
Research Areas
AI; ML and Statistical InferenceData Processing; Integration; Mining and Visualization