姓名： 李国强（副教授）
最终学历：博士
电话：
办公地点：软件学院1212室
邮箱：li.g@sjtu.edu.cn
实验室：BASICS实验室
个人网页： http://basics.sjtu.edu.cn/~liguoqiang

---

研究方向
形式化方法、程序语言理论、数据分析、机器智能

---

教育背景
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 日本名古屋大学情报科学研究课，博士后研究员

---

开设课程
本科生：
算法设计与实现 (SE121) (2020- )
算法原理 (SE222) (2016-2019)
可计算理论 (SE226) (2012-2014)
研究生：
算法设计与分析 （X037506）（2009-）
程序语言理论 (X037515) (2017)
学术写作、规范与伦理 (GS00001) (2019-)

---

代表性论著


1.Jieshan Chen,Chunyang Chen*, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li*, JinshuiWang.Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUIComponents by Deep Learning. In Proceedings of the 42nd InternationalConference on Software Engineering (ICSE'20), 2020 (Distinguishedpaper award!)
2. Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu,Liming Zhu, Guoqiang Li*, Jinshui Wang.Seenomaly: Vision-Based Linting ofGUI Animation Effects Against Design-Don't Guidelines. In Proceedingsof the 42nd International Conference on Software Engineering (ICSE'20),2020
3.Qianqian Duan, Daniel Sun, Guoqiang Li*, Genke Yang, WeiwuYan.IoT-enabled service for crude-oil production systems againstunpredictable disturbance. IEEE Transactions on Services Computing,Vol. 13(4), 759-768, 2020
4.Ruoyu Wang, Daniel Sun*, Guoqiang Li*, Raymond Wong, Shiping Chen.PipelineProvenance for Cloud-Based Big Data Analytics. Software: Practice andExperience, Vol. 50(5), 658-674, 2020
5.Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, JianlingSun.Discovering, Explaining and Summarizing Controversial Discussions inCommunity Q&A Sites. In Proceedings of the 34th IEEE/ACMInternational Conference on Automated Software Engineering (ASE'19),151-162, 2019
6.Dehai Zhao, Zhenchang Xing, Chunyang Chen*, Xin Xia*, GuoqiangLi*.ActionNet: Vision-based Workflow Action Recognition from ProgrammingScreencasts. In Proceedings of the 41st ACM/IEEE InternationalConference on Software Engineering (ICSE'19), 350-361, 2019
7.Guoqiang Li, Mizuhito Ogawa, Shoji Yuen.Nested Timed Automata with FrozenClocks. In Proceedings of the 13th International Conference on FormalModeling and Analysis of Timed Systems (FORMATS'15), LNCS 9268, 189-205,2015
8.Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen.Nested TimedAutomata. In Proceedings of the 11th International Conference on FormalModeling and Analysis of Timed Systems (FORMATS'13), LNCS 8053, 168-182,2013
9. 谭锦豪，李国强. 基本并行进程活性的限界模型检测. 软件学报, 31(8), 2020
10. 丁如江，李国强. 非交互式Petri网可覆盖性验证的高效实现. 软件学报,30(7), 1939-1952, 2019

---

科研项目
1. 基于基本并发进程的异步通讯程序的验证模型与高效算法，国家自然科学基金面上项目，2019.01-2022.12，主持人
2.安全攸关软件系统的可靠性保障研究，国家自然科学基金重点项，2018.01-2022.12，子课题负责人
3. 异步通讯程序的程序分析理论与方法，国家自然科学基金面上项目，2017.01-2017.12，主持人
4．时间敏感下推系统可达性的验证问题，国家自然科学基金面上项目，2015.01-2018.12，主持人
5. 基于具有时间性质的自动机模型检测的程序分析方法，国家自然科学基金青年基金，2012.01-2014.1，主持人

---

获奖情况
ICSE’20 Distinguished paper award.

---

学术兼职
CCF高级会员、形式化方法专委会委员