Scholar
Guoqiang Li
Google Scholar ID: oylxWusAAAAJ
School of Computer Science, Shanghai Jiao Tong University
Citations & Impact
Citations
1,247
H-index
15
i10-index
17
Publications
20
Co-authors
29
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Representative Projects: 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. Selected Publication: Weijie Wu, Ling-I Wu, Guoqiang Li*. CrossPyEval: Enhancing LLM-based Evaluation of Low-Resource Code via Code Translation. In Proceedings of the 17th Asian Conference on Machine Learning (ACML'25), accepted.
Research Experience
- Associate Professor, School of Computer Science, Shanghai Jiao Tong University, 2025.01 - present; Associate Professor, School of Software, Shanghai Jiao Tong University, 2014.01-2024.12; Guest Associate Professor, Research and Development Center for Smart Mobility, Kyushu University, 2016.12-2020.03; Academic Visitor, Department of Computer Science, University of Oxford, 2015.07-2016.07; Lecturer, School of Software, Shanghai Jiao Tong University, 2009.04-2013.12; Liaison Staff, Bureau of International Cooperation, NSFC, 2009.12-2010.12; Postdoc. Researcher, NCES, Graduate School of Information Science, Nagoya University, 2008.04-2009.03.
Education
- PhD, Formal Verification, Ogawa Lab, Japan Advanced Institute of Science and Technology, 2005.4-2008.3; MSc, Computer Software and Theory, BASICS, Department of CST, Shanghai Jiao Tong University, 2002.9-2005.3; BSc, Computer Software, Department of CST, Taiyuan University of Technology, 1997.9-2001.7.
Background
- Research Interests: formal verification, programming language theory, zero-knowledge proofs and their applications, knowledge reasoning and verification, intelligent system verification and security.
