He received his PhD degree in computer science from Nanjing University, China in 2009. His research interests are mainly in software engineering, with a particular focus on software evolution, software architecture and reliability analysis with formal methods. He has published more than 50 papers in these fields. He is currently a senior member of China Computer Federation (CCF) and a member of CCF Technical Committees on System Software, and Software Engineering.