个人简介

李钦博士，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.上海市自然科学基金面上项目。项目名称：“时间敏感型智能工业以太网协议的可信建模与验证”