I am a PhD student at University of Washington Computer Science and Engineering. I am advised by Prof. Dan Suciu. I am working with collegues from DB Group and PLSE Group to build an automated reasoning tool for database queries. I am very fortunate to have been advised by Prof. Magdalena Balazinskaon my master thesis (Check out Myria project).
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.