![Researcher Photo](imgs/man.png)
About Me
I am an Associate Professor in the Department of Computer Science and Engineering, Beihang University. My research is in the field of Software Engineering with special interests on software testing of complex systems (such as Microservices and Cyber-Physical Systems) with AI-based and model-based techniques. All of my research contributions are fundamentally rooted in basic research within the field of software engineering.
- Office G616, New Main Building
- Address 37 Xueyuan Road, Haidian District, Beijing, P.R. China, 100191
Academic Services
Academic Journal (Guest) Editor
- Associate Editor, Science of Computer Programming, 2024-
- Guest Editor, Special section of MODELS 2019, Software and Systems Modeling (SoSyM)
Academic Journal Reviewer
- IEEE transactions on software engineering (TSE)
- ACM Transactions on Software Engineering and Methodology (TOSEM)
- IEEE transactions on computer-aided design of integrated circuits and systems (TCAD)
- Empirical software engineering (EMSE)
- Empirical software engineering (SoSyM)
- Automated Software Engineering (ASE)
- Information and Software Technology (IST)
- The Journal of Systems and Software (JSS)
- Journal of Software: Evolution and Process
- Software Quality Journal (SQJ)
Conference Program Committee Member
- the 34th International Symposium on Software Testing and Analysis (ISSTA 2025), Research Track
- the 33th International Symposium on Software Testing and Analysis (ISSTA 2024), Research Track
- the 46th International Conference on Software Engineering (ICSE 2024), Software Engineering in Practice Track
- the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), Testing Tools and Demonstration Track
- the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), Research Track
- the 27th International Conference on Evaluation and Assessment in Software Engineering (EASE 2023), Research Track
- the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Testing Tools Track
- the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Tool Demo Track
- the 26th International Conference on Evaluation and Assessment in Software Engineering (EASE 2022), Research Track
- the 14th Symposium on Search-Based Software Engineering (SSBSE 2022), Research Track
- the 15th International Conference on the Quality of Information and Communications Technology (QUATIC 2022), Quality Aspects in Digital Twins and Cyber-physical Systems Track
- the 25th International Conference on Evaluation and Assessment in Software Engineering (EASE 2021), Research Track
- the 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021), Quality in Cyber-physical Systems Track