I am now an assistant professor of School of Computer in National University of Defense Technology (NUDT), China. I received my Ph.D. degree of computer science from NUDT in Jun. 2009. During my Ph.D. study, I visited the rCOS group of UNU-IIST twice as a fellow from Mar. 2007 to Nov. 2007 and Jun. 2008 to Sep. 2008, respectively. Until now, I am still an associate member of the rCOS group. My current research interests include: program analysis (especially symbolic execution), component-based formal modeling and verification and cloud computing.