形式化方法；程序语言理论；知识表示、推理与验证；智能系统的验证与安全

2005.4—2008.3  日本北陆先端科学技术大学院大学(JAIST)信息科学学院信息科学博士

2002.9—2005.3  上海交通大学计算机科学与工程系 计算机软件与理论硕士

1997.9—2001.7  太原理工大学计算机系 计算机软件学士

2016.12- 2020.4日本九州大学客座副教授

2015.7-2016.7 英国牛津大学计算机科学系访问学者

2009.12-2010.12 国家自然科学基金委国际合作局兼聘

2009.4-2013.12 上海交通大学软件学院，讲师

2008.4-2009.4 日本名古屋大学情报科学研究课，博士后研究员

本科生：

算法设计（SE3352）（2021-）

计算机科学的数学基础（SE2324）（2021-）

算法设计与实现 (SE121) (2020)

算法原理 (SE222) (2016-2019)

可计算理论 (SE226) (2012-2014)

研究生：

算法设计与分析 （EI6303）（2009-）

学术写作、规范与伦理 (GS00001) (2019-)

程序语言理论 (X037515) (2017)

1. Jingyang Li, Guoqiang Li*. HOBAT: Batch Verification for Homogeneous Structural Neural Networks. In Proceedings of the ASE 2023
2. Minyu Chen, Guoqiang Li*, Chen Ma, Jingyang Li, Hongfei Fu. Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. In Proceedings of the COLING 2022
3. 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), 2296 - 2311, 2021
4. 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. In Proceedings of the ICSE 2020, (Distinguished paper award!)
5. 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. In Proceedings of the ICSE 2020
6. Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun. Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. In Proceedings of the ASE 2019
7. Dehai Zhao, Zhenchang Xing, Chunyang Chen*, Xin Xia*, Guoqiang Li*. ActionNet: Vision-based Workflow Action Recognition from Programming Screencasts. In Proceedings ICSE 2019
8. Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li*. Data-Driven Proactive Policy Assurance of Post Quality in Community Q&A Sites. In Proceedings of the CSCW 2018
9. Guoqiang Li, Mizuhito Ogawa, Shoji Yuen. Nested Timed Automata with Frozen Clocks. In Proceedings of the FORMATS 2015
10. 吴志文，李国强. 基于非交互式Petri网的异步程序验证模型和方法. 软件学报, 34(8), 2023

基于基本并发进程的异步通讯程序的验证模型与高效算法，国家自然科学基金面上项目，2019.01-2022.12，主持人

安全攸关软件系统的可靠性保障研究，国家自然科学基金重点项，2018.01-2022.12，子课题负责人

异步通讯程序的程序分析理论与方法，国家自然科学基金面上项目，2017.01-2017.12，主持人

时间敏感下推系统可达性的验证问题，国家自然科学基金面上项目，2015.01-2018.12，主持人

基于具有时间性质的自动机模型检测的程序分析方法，国家自然科学基金青年基金，2012.01-2014.1，主持人

ICSE 2020 杰出论文奖（Distinguished paper award）

中国计算机学会高级会员、形式化方法专委会常务委员

中国人工智能学会人工智能逻辑专委会委员

中国中文信息学会语言与知识计算专委会委员

中国图像图形学会智能边缘计算专委会委员

上海计算机学会理论计算机科学专委会委员