Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
2006: Winner of National Science Fund for Distinguished Young Scholars
2014: Lead Scientist of a 973 Program Project
2015: Member of the Discipline Appraisal Group of the Academic Degree Commission of the State Council
Authored book: 'Environment Modeling based Requirements Engineering for Software Intensive Systems' (Elsevier, Morgan Kaufmann, 2019)
Published numerous papers in top venues including ASE, TOSEM, JSS, EMSE, ICPC, SANER, ICRA, AAAI, IEEE TSE, RE, PerCom, IEEE TPDS, NeurIPS, OOPSLA, IEEE TR
Received ACM Distinguished Paper Awards at ASE 2020 and ICPC 2020
Research Experience
Professor, Department of Computer Science and Technology, Peking University (2009–present)
Professor, Academy of Mathematics and Systems Science, Chinese Academy of Sciences (before 2009)
Assistant Professor, Academy of Mathematics and Systems Science, CAS (1992)