Xudong Sun is a 5th-year Ph.D. student in the Computer Science Department at the University of Illinois at Urbana–Champaign. He is broadly interested in any topics related to system correctness and reliability. Currently, his research focuses on (1) improving the quality of existing cloud systems using systematic testing and (2) building provably correct cloud systems using formal verification.
Connect:
Linked Presentation: