个人简历

李钦博士，2011年毕业于华东师范大学，现为华东师范大学软件工程学院副教授，已在形式化方法与程序理论相关国际期刊与会议上发表学术论文30余篇，其中第一作者与通讯作者论文21篇，11篇为CCF C类及以上期刊与会议。承担国家重点研发计划课题《多源城市数据全生命周期可信保障技术体系》，并作为骨干成员参与国家核高基专项《智能网联车辆系统验证与数字孪生技术研究》以及国家自然科学基金委重点项目《量子程序设计的理论基础》。担任形式化方法方向重要国际会议TASE2020程序委员会主席，参与多个形式化方法国际期刊与会议的审稿工作。

开授课程
本科课程：
计算机逻辑基础
形式语言与自动机理论

研究生课程：
可信软件开发方法

科研项目
主持：
1.国家重点研发计划。项目名称：“高置信城市信物融合系统关键技术研发与应用”，课题名称：“多源城市数据全生命周期可信保障技术体系”。起止年月：2019.12-2022.11。课题经费：285万元。
2.国家自然科学基金委青年科学基金项目。项目名称：“面向时空约束的CPS协同机制的形式化建模与分析”。起止时间：2017.1-2019.12。资助经费：25万元。
3.华为技术有限公司横向课题。课题名称：“面向AI系统的可靠性建模与评估”。起止年月：2020.04-2021.05。资助经费：60万元。

参与：
1.国家重点研发计划课题。项目名称：“面向图计算的探针计算机模型研究”。课题名称：“漏洞搜索专用型样机的研发”。
2.国家核高基专项。项目名称：“智能网联车辆系统验证与数字孪生技术研究”。
3.国家自然科学基金委重点项目。项目名称：“量子程序设计的理论基础”。
4.上海市自然科学基金面上项目。项目名称：“时间敏感型智能工业以太网协议的可信建模与验证”

研究领域

人机物融合系统可信建模与验证
安全可信智能系统建模理论与验证方法
多智能体协同决策的形式化建模与分析"形式化方法、高可信软件、可信人工智能系统等"

近期论文

[1] He Jifeng, Li Qin（通讯作者）. A New Roadmap for Linking Theories of Programming and its Applications on GCL and CSP. Science of Computer Programming. Elsevier, 162: pp3-34. 2018. ISSN: 0167-6423. (SCI期刊，CCF B类)
[2] Li Qin, Graeme Smith. Refining Autonomous Agents with Declarative Beliefs and Desires. Formal Aspects of Computing. Springer, 29(2): pp227-249. 2017. (SCI期刊，CCF B类)
[3] Li Qin, Graeme Smith. Formal Development of Multi-agent Systems using MAZE. Science of Computer Programming. Elsevier, 131: pp126-150. 2016. (SCI期刊，CCF B类)
[4] Jiang Jianmin, Zhu Huibiao, Li Qin（通讯作者）, Zhao Yongxin, Zhao Lin, Zhang Shi, Gong Ping and Hong Zhong. Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Transactions on Embedded Computing Systems, Vol. 14(4), Article 86. Sep, 2015. ISSN: 1539-9087. (SCI期刊, CCF B类)
[5] Li Qin, Zhao Yongxin, Zhu Huibiao, He Jifeng. A UTP Semantic Model for Orc Language with Execution Status and Fault Handling. Frontiers of Computer Science, vol. 8(5). pp 709-725. Springer. Oct 2014. ISSN: 2095-2228. (SCI期刊，CCF C类)