李钦 副教授
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校： 华东师范大学
学位： 博士
学历： 博士
邮编：
联系电话：
传真：
电子邮箱： qli@sei.ecnu.edu.cn
办公地址： 理科楼B1001室
通讯地址： 上海市普陀区中山北路3663号华东师范大学理科楼B1001

教育经历

工作经历

个人简介
李钦博士，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类)





荣誉及奖励


招生信息














10 访问


相关教师