Yunong Shi — Computer Science & Eng. faculty at Michigan. Research: Quantum computing, formal verification, AI for systems.