Xinyu Wang — Computer Science & Eng. faculty at Michigan. Research: Software engineering, Theory of computation, Numerical and computational mathematics, Data.