Education

• Ph.D. in Computer Software and Theory, Peking University, 2012

• B.S. in Computer Science and Technology, Peking University, 2006

Working Experience

• Associate Professor, University of Science and Technology Beijing, 2018–present

• Visiting Scholar, The Hong Kong University of Science and Technology, 2025

• Visiting Scholar, University of Groningen, the Netherlands, 2015–2016

Research Interests

• Model-driven engineering

• Bidirectional transformation

• Model transformation

• Domain-specific languages

• Code generation

• Software testing

• Formal methods

Publications

More than 40 papers in leading international software engineering conferences and journals, including TOSEM, POPL, OOPSLA, ASE, FSE, ISSTA, MODELS, JSS, IST, SoSyM, Science China, and Journal of Software.

Academic Service

• Publicity co-chair, MODELS 2027

• Co-Chair, 10th International Workshop on Bidirectional Transformations

• Co-Chair of ChinaSoft forum sessions

• PC Member for MODELS, COMPASC

• Reviewer for TOSEM, TSE, JSS, SoSyM, IST

Honors and Awards

• Best Paper Award, MODELS 2022

• ACM SIGSOFT Distinguished Paper Awards (2022, 2026)