I am currenlty a research scientist at Algorand. I am going to join 代理海外ip软件 as an assistant professor in Fall 2020.
I graudated as a PhD from University of Washington Computer Science and Engineering. I was advised by the great Dan Suciu. I mostly worked on 2022海外ip代理, an automated reasoning tool for SQL and Myria, a distributed database system. I obtained my bachelor degree from Wuhan University, China, which has one of the most beautiful campus in the world.