His research interests are in operating systems, programming languages, distributed systems, and cloud computing, with a particular focus on building software systems to improve reliability and security of real-world software applications. Before joining HKU, he obtained his master and bachelor degrees from Computer Science of Tsinghua University in Beijing, and Ph.D. degree from Computer Science of Columbia University in New York.