Liqian Chen

Liqian Chen is a Professor of Computer Science at the National University of Defense Technology (NUDT), Changsha, China. His research focuses on program analysis, abstract interpretation, and automated program repair, with a strong emphasis on numerical stability and software verification.

Recent publications address advanced topics in floating-point error detection, vulnerability analysis, and invariant generation for neural networks. Key contributions include tools like F-IKOS (static analyzer for Fortran programs), AutoRNP (floating-point error repair tool), and Software Apron (numerical abstract domain library).

Scientific Awards:

• ACM SIGSOFT Distinguished Paper Award (ISSTA 2024)

He serves on program committees for major conferences such as ASE 2025, SAS 2025, and SETTA 2025, and acts as Guest Editor for journals like Automated Software Engineering Journal and Journal of Systems Architecture.