I am a PhD student at University of Washington Computer Science and Engineering. I am advised by Prof. Dan Suciu and Prof. Alvin Cheung. I am working with Konstantin Weitz on leveraging proof assistant to build a verified query optimizer. I am very fortunate to have been advised by Prof. Magdalena Balazinska.
I had several wonderful internships at Microsoft Research (Beijing, Redmond) and Google’s Spanner Team. Before UW, I was working with Prof. James Cheng at NTU, Singapore. I obtained my bachelor degree from Wuhan University, China.
I am interested in data management, programming languages and systems.