He received the BSE degree in computer science from Tsinghua University in 2006, and the MSE and PhD degrees in computer science both from the University of Pennsylvania in 2009 and 2012 respectively. His research interests center on the use of data-centric and formal techniques towards ensuring safe and secure distributed systems. He is also interested in distributed data management and the application of database technologies to networked systems.