李钦 - 华东师范大学 - 软件工程学院

个人简介

李钦博士，2011年毕业于华东师范大学，现为华东师范大学软件工程学院副教授，主要研究领域为形式化方法、高可信软件、可信人工智能系统等，主要研究方向为人机物融合系统可信建模与验证、安全可信智能系统建模理论与验证方法、多智能体协同决策的形式化建模与分析等。已在形式化方法与程序理论相关国际期刊与会议上发表学术论文30余篇，其中第一作者与通讯作者论文21篇，11篇为CCF C类及以上期刊与会议。承担国家重点研发计划课题《多源城市数据全生命周期可信保障技术体系》，并作为骨干成员参与国家核高基专项《智能网联车辆系统验证与数字孪生技术研究》以及国家自然科学基金委重点项目《量子程序设计的理论基础》。担任形式化方法方向重要国际会议TASE2020程序委员会主席，参与多个形式化方法国际期刊与会议的审稿工作。教育经历 2006.09―2011.07 华东师范大学，工学博士（硕博）导师：何积丰院士 2002.09―2006.07 华东师范大学，工学学士工作经历 2015.12至今华东师范大学软件工程学院副教授 2014.1-2015.10 澳门大学科技学院博士后 2011.7—2013.12 澳大利亚昆士兰大学信息技术与电子工程学院博士后

研究领域

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

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Parallel computational tree logic model‐checking on pushdown systems Xin YeJianqi ShiYanhong HuangQin LiHansheng WeiXinyu Chen Concurrency and Computation NKind: a model checker for liveness property verification on Lustre programs Junjie WeiQin Li International Conference on Software Engineering… Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering Toshiaki AokiQin Li Science of Computer Programming Formally verifying consistency of sequence diagrams for safety critical systems Xiaohong ChenQianqian LiuF. MalletQin LiShubin CaiZhi Jin Science of Computer Programming A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems Zhen HuangBolun LiDehui DuQin Li International Colloquium on Theoretical Aspects… A refinement development approach for enhancing the safety of PLC programs with Event-B Xia MaoY. ZhangJianqi ShiYanhong HuangQin Li Science of Computer Programming RE2B: Enhancing Correctness of Both Requirements and Design Models Shiling FengXiaohong ChenQin LiYongxin Zhao Theoretical Aspects of Software Engineering Analyzing and Recommending Development Order Based on Design Class Diagram Wenhan WuYongxin ZhaoChao PengYongjian LiQin Li Knowledge Science, Engineering and Management Formal Verification of a Hybrid IoT Operating System Model Yuqian GuanJian GuoQin Li IEEE Access PAC Model Checking of Black-Box Continuous-Time Dynamical Systems Bai XueMiaomiao ZhangA. EaswaranQin Li IEEE Transactions on Computer-Aided Design of… Event-based functional decomposition Jianmin JiangHuibiao Zhu+4 authors?Zhong Hong Information and Computation A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving Bingqing XuQin LiTong GuoYi AoDehui Du Theoretical Aspects of Software Engineering Isolation Modeling and Analysis Based on Mobility Jianmin JiangHuibiao Zhu+4 authors?Ping Gong ACM Transactions on Software Engineering and… A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving Bingqing XuQin LiTong GuoDehui Du IEEE Access A mathematical analysis of improved EigenAnt algorithm Genwang GouYongxin ZhaoQin LiQiwen Xu Journal of experimental and theoretical… Some remarks on the deterministic particle swarm optimization algorithm Jinxun WangQiwen XuQin Li A new roadmap for linking theories of programming and its applications on GCL and CSP J. HeQin Li Science of Computer Programming A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation Bingqing XuQin Li Theoretical Aspects of Software Engineering Refining autonomous agents with declarative beliefs and desires Qin LiGraeme Smith Formal Aspects of Computing Event-Based Mobility Modeling and Analysis Jianmin JiangHuibiao Zhu+6 authors?Donghuo Chen ACM Trans. Cyber Phys. Syst.

学术兼职

中国计算机学会形式化方法专委会委员上海市计算机学会计算机理论专委会委员形式化方法领域知名国际会议TASE（CCF C）程序委员会委员，TASE 2020程序委员会主席