Liqian Chen
Scholar

Liqian Chen

Google Scholar ID: vCe9aLkAAAAJ
Professor, National University of Defense Technology, China
Program analysis & verificationAbstract interpretationProgram repair
Citations & Impact
All-time
Citations
1,213
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
8
list available
Resume (English only)
Academic Achievements
  • Published multiple papers in top-tier conferences including ISSTA 2025, IPDPS 2025, TOSEM 2025, VMCAI 2025, OOPSLA 2024. One paper received the ACM SIGSOFT Distinguished Paper Award. Developed several software tools such as Apron, AutoRNP, F-IKOS.
Research Experience
  • Program Committee Member for multiple international conferences such as ASE 2025, SAS 2025, SETTA 2025. Guest Editor for journals like Automated Software Engineering Journal and Journal of Systems Architecture.
Background
  • Full Professor (and PhD Supervisor) in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China. Research Interests: Program analysis/verification, Abstract interpretation, Automated program repair.
Miscellany
  • Links to personal website, Google Scholar, ORCID, ResearchGate, DBLP, GitHub, etc.