Verifying Recursions and Array Manipulating Programs in a Uniform Way by Solving Multivariate Recurrences
Under review, submitted to POPL, 2026
Chenglin Wang
CV
Education
- Ph.D in Computer Science & Engineering, Hong Kong University of Science and Technology (HKUST), 2019 - 2024
- B.S. in Software Engineering, Sun Yat-sen University (SYSU), 2015 - 2019
Experience
- Visiting scholar in University of Oxford, April - August 2025
- Postdoc in Computer Science & Engineering, Hong Kong University of Science and Technology (HKUST), 2024 - Now
Publications
On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches
International Conference on Computer Aided Verification (CAV), 2024
Chenglin Wang; Fangzhen Lin
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2023
Chenglin Wang; Fangzhen Lin
Query Answering with Guarded Existential Rules under Stable Model Semantics
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2020
Hai Wan; Guohui Xiao; Chenglin Wang; Xianqiao Liu; Junhong Chen; Zhe Wang
Awards
- Research Travel Grant Award, HKUST, 2024
- Research Travel Grant Award, HKUST, 2023
- Outstanding Undergraduate Thesis Award, SYSU, 2019
- Excenllent Studnet Scholarship (First Prize, Awarded to top 8%), SYSU, 2018
- Excenllent Studnet Scholarship (Third Prize, Awarded to top 50%), SYSU, 2016
Teaching
- TA at HKUST (Fall 2022) for COMP 5211: Advanced Artificial Intelligence
- TA at HKUST (Fall 2022) for MSBD 5015: Artificial Intelligence
- TA at HKUST (Spring 2022) for COMP 3211: Fundamentals of Artificial Intelligence
- TA at HKUST (Fall 2020) for COMP 1021: Introduction to Computer Science
- TA at HKUST (Spring 2020) for COMP 1021: Introduction to Computer Science
Services
- PC member of 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025)
- PC member of 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2024)
Skills
Languages: Mandarin Chinese (native), English
Coding: C/C++, Python, LLVM, SMT solvers (e.g., Z3, CVC5), Mathematica, Matplotlib, …