● 2005.4-2008.3, PhD., Japan Advanced Institute of Science and Technology

● 2002.9-2005.3, MSc., Shanghai Jiao Tong University

● 1997.9-2001.7, BSc., Taiyuan University of Technology

● 2025.01 -                 , Associate Professor, School of Computer Science, Shanghai Jiao Tong University

● 2014.01 - 2024.12, Associate Professor, School of Software, Shanghai Jiao Tong University

● 2016.12-2020.03, Guest Associate Professor, Research and Development Center for Smart Mobility, Kyushu University

● 2015.07-2016.07, Academic Visitor, Department of Computer Science, University of Oxford

● 2009.04-2013.12, Lecturer, School of Software, Shanghai Jiao Tong University

● 2009.12-2010.12, Liaison Staff, Bureau of International Cooperation, NSFC

● 2008.04-2009.03, Posdoc. Researcher, NCES, Graduate School of Information Science, Nagoya University

Present Lectures 

● SE3308, Algorithm Design, for undergraduates, autumn semester

● EI6303, Algorithm Design and Analysis, for graduates, spring semester

Past Lectures

● AI1401, Algorithm Design and Analysis, for undergraduates from School of Mathematics, 2025

● SE2324, Mathematical Foundation for Computer Sciences, for undergraduates, 2021-2023

● SE3352, Algorithm Design (2 credits), for undergraduates, 2021-2023

● SE121, Design and Implementation of Algorithms, for undergraduates, 2020

● SE222, Principle of Algorithms, for undergraduates, 2016-2019

● SE226, Computability Theory, for undergraduates, 2012-2014

● GE6001, Scientific Writing, Integrity and Ethics, for graduates, 2019-2024

● X037515, Fundamentals of Programming Languages, for graduates, 2017

Conferences and Workshops:

● Shuyang Tang, Sherman S. M. Chow, Hongfei Fu, Zihan Guo, Guoqiang Li. Staged Multi-Step UTXO Workflows via Recursive Invariants. OOPSLA'26

● Jingyang Li, Xin Chen, Hongfei Fu, Guoqiang Li . Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation. UAI'26 

● Ling-I Wu, Jian Tong, Yu Sun, Xuan Gao, Xu Guo, Qipeng Guo, Kai Chen, Guoqiang Li . Reasoning Compartmentalization: Bridging the Concretization Gap via Abstraction-based Routing . ICML'26 

● Ling-I Wu, Minyu Chen, Jingyang Li, Xi Chang, Guoqiang Li  . Think Earlier, Not Longer: Prompt Optimization via Reducing Unhealthy Exploration. ACL'26 findings

● Ling-I Wu, Weijie Wu, Minyu Chen, Jianxin Xue, Guoqiang Li . Co-Eval: Augmenting LLM-based Evaluation with Machine Metrics. EMNLP'25

● Haoyu Wei, Jingyu Ke, Ruibang Liu, and Guoqiang Li . ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs. ICFEM'25 

● Minyu Chen, Guoqiang Li , Ling-I Wu, Ruibang Liu. DCE-LLM: Dead Code Elimination with Large Language Models. NAACL'25

● Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen and Guoqiang Li. Affine Disjunctive Invariant Generation with Farkas' Lemma.  VMCAI'25

● Jingyang Li, Guoqiang Li . HOBAT: Batch Verification for Homogeneous Structural Neural Networks. ASE'23

● Minyu Chen, Guoqiang Li , Chen Ma, Jingyang Li, Hongfei Fu. Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. COLING'22

● Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li. Scalable Linear Invariant Generation with Farkas Lemma. OOPSLA'22

● Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li. Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?. FSE'20

● Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li , Jinshui Wang. Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning. ICSE'20 (Distinguished paper award!)

● Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li , Jinshui Wang. Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don't Guidelines.ICSE'20

● Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun. Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. ASE'19

● Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li . ActionNet: Vision-based Workflow Action Recognition From Programming Screencasts. ICSE'19

● Haitao Zhang, Ayang Tuo, Guoqiang Li. Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. DATE'19

● Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li . Data-Driven Proactive Policy Assurance of Post Quality in Community Q&A Sites. CSCW'18

Journals and Transactions:

● Jingyang Li, Guoqiang Li . MUC-G4: Accelerating Incremental Verification of Compressed Neural Networks via Minimal UNSAT Core Reuse. ACM Transactions on Embedded Computing Systems. accepted

● Zhouyue Sun, Yuchen Li, Hongfei Fu, Guoqiang Li. Modular Invariant Generation via Constraint Solving. Journal of Systems Architecture, Vol. 178, 103884, 2026

● Minyu Chen, Ling-I Wu, Ruibang Liu, Xi Chang, Jianxin Xue, Guoqiang Li . DCoL-A: Agentic Dual Chain of Thinking Helps LLMs Pretend Logic Solvers. Journal of Systems Architecture, Vol. 175, 103780, 2026

● Qizhe Yang, Boxuan Liang, Hao Chen, Guoqiang Li . AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. Formal Aspects of Computing, Vol. 38(1), Article 11, 2026

● Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li . Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models. Science of Computer Programming, 103387, Vol. 248, 2026

● Ruibang Liu, Hongming Liu, Guoqiang Li . Optimization of Farka's Lemma-Based Linear Invariant Generation Using Divide-and-Conquer with Pruning. Science of Computer Programming, 103361, Vol. 247, 2026

● Guoqiang Li , Qizhe Yang, Jinhao Tan, Ying Zhao. BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. Formal Aspects of Computing, Vol. 37(3), Article 21, 2025

● Jingyang Li, Guoqiang Li . The Triangular Trade-off between Robustness, Accuracy and Fairness in Deep Neural Networks: A Survey. ACM Computing Surveys, Vol. 57(6),  2025

● Sinka Gao, Guoqiang Li , Hongfei Fu. ZKWASM: A ZKSNARK WASM Emulator. IEEE Transactions on Services Computing, Vol. 17(6), 4508-4521, 2024

● Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li , Sinka Gao. RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. Formal Aspects of Computing, Vol. 36(4), 2024

● Suyu Ma, Zhenchang Xing, Chunyang Chen*, Cheng Chen, Lizhen Qu, Guoqiang Li . Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning. IEEE Transactions on Software Engineering, Vol. 47(10), 2021

● Methodology and Implementation of Formal Verification on Circuit Programs for Zero-Knowledge Proofs, PI, NSFC General Program, 2026-2029

● Theoretical Analysis of SAT Algorithms and Novel SAT Solvers, main contributor, NSFC Key Program, 2026-2030

● Research on Universal Zero-Knowledge Virtual Machines and Efficient Blockchain Accumulators,  main contributor, Special Project on Key Technologies in Blockchain, Shanghai Science and Technology Innovation Action Plan, 2024-2025

● Scalable and Certifiable Verification of Deep-Learning Enabled Systems, main contributor, NSFC-ISF Joint Program, 2021-2024

● Verification Models and Efficient Algorithms of Asynchronously Communicating Programs Based on Basic Parallel Processes,  PI, NSFC General Program, 2019-2022

● Reliability of Safety Critical Software Systems, Sub-project PI, NSFC Key Program, 2018-2022

● Theory and Methodology of Asynchronously Communicating Program Analysis, PI, NSFC General Program, 2017

● Verification on Reachability Problem of Time-Sensitive Pushdown Systems, PI, NSFC General Program, 2015-2018

● Methodology of Program Analysis Based on Automata Model Checking with Time Issues, PI, NSFC Youth, 2012-2014

● ICSE 2020（CCF A）Distinguished Paper Award

● 2025 HCI paper

● Senior member of China Computer Federation (CCF)

● Standing Committee of Formal Methods, China Computer Federation (2024-2027)

● Deputy Director of Theoretical Computer Science, Shanghai Computer Society (2024-2028)

● Technical Committee of Logics in Artificial Intelligence, Chinese Association for Artificial Intelligence

● Technical Committee of Language and Knowledge Computing, Chinese Information Processing Society of China

● Technical Committee of Image Intelligence and Edge Computing, China Society of Image and Graphics

● Technical Committee of Theoretical Computer Science, Shanghai Computer Society

● Technical Committee of Construction Internet and BIM, Chinese Society for Urban Studies