| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://lqchen.github.io/services/
access-control-allow-origin: *
expires: Mon, 29 Dec 2025 21:25:58 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: B3E3:2D8B9D:94FC69:A72BF6:6952EF8D
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 21:15:58 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210033-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767042958.954942,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: c137cdb25d35f6f3d93c54416a75b3f0d91d0f1a
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 28 Mar 2025 01:53:09 GMT
access-control-allow-origin: *
etag: W/"67e60105-29ce"
expires: Mon, 29 Dec 2025 21:25:58 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: E9F1:3946E9:9447B1:A676B5:6952EF8D
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 21:15:58 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210033-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767042958.178648,VS0,VE216
vary: Accept-Encoding
x-fastly-request-id: a1970d986a78819c7147cd0489251acecf69bc23
content-length: 3317
Services - Liqian Chen’s Homepage 
Liqian Chen
Professor of Computer Science, NUDT
- Changsha,China
- NUDT
- 网站
- 电子邮件
- Google Scholar
- ORCID
- ResearchGate
- DBLP
- Github
Services
Conferences:
- The IEEE/ACM International Conference on Automated Software Engineering (ASE)
Program Committee Member: 2025 - International Static Analysis Symposium (SAS)
Program Committee Member: 2025, 2024, 2023, 2022, 2018, 2017, 2015 - International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA)
Program Committee Co-Chair: 2024; Program Committee Member: 2023, 2022, 2021 - International Symposium on Theoretical Aspects of Software Engineering (TASE)
Program Committee Member: 2024, 2023, 2022, 2021, 2019 - Asia-Pacific Symposium on Internetware (Internetware)
Program Committee Member: 2022, 2020 - International Workshop on Numerical and Symbolic Abstract Domains (NSAD)
Steering Committee Member: 2025~; Program Committee Co-Chair: 2020; Program Committee Member: 2016, 2014 - International Symposium on Formal Methods (FM)
Program Committee Member: 2024 (Embedded Systems Track) - The Asia-Pacific Software Engineering Conference (APSEC)
Program Committee Member: 2024 (ERA Track)
Journals:
- Automated Software Engineering Journal (AUSE)
Guest Editor: Collection "Effective ProgramAnalysis and Testing for ModernSoftware Development" (2025) - Journal of Systems Architecture (JSA)
Executive Guest Editor: Special Issue "Dependable Software Engineering: Theories, Tools and Applications" (2025) - Science of Computer Programming (SCP).
Invited Reviewer - IEEE Transactions on Dependable and Secure Computing (TDSC).
Invited Reviewer - IEEE Transactions on Reliability (TR).
Invited Reviewer - Journal of Systems and Software (JSS).
Invited Reviewer - Journal of Systems Architecture (JSA).
Invited Reviewer - Science China Information Sciences (SCIS).
Invited Reviewer - Frontiers of Computer Science in China (FCS).
Invited Reviewer - Journal of Software (JOS, Chinese Journal).
Guest Editor: Speical Issue on Formal Methods and Applications (2022)