登陆
注册
可验证的人工智能系统理论与方法
有212人正在学习
上海控安
2021-10-26 11:17
1. 为什么需要可验证的人工智能系统
2. 人工智能系统验证的核心科学问题
3. 可验证人工智能系统的可能实现途径
4. 人工智能系统的可信构造与验证方法
李钦
李钦博士，华东师范大学软件工程学院副教授，主要研究领域为形式化方法、高可信软件、安全可信人工智能系统等，主要研究方向为人机物融合系统可信建模与验证、安全可信智能系统建模理论与验证方法、多智能体协同决策的形式化建模与分析等。已在形式化方法与程序理论领域重量级国际期刊FAC、SCP以及一系列重要国际会议上发表学术论文30余篇。承担国家重点研发计划课题《多源城市数据全生命周期可信保障技术体系》，并作为骨干成员参与国家核高基专项《智能网联车辆系统验证与数字孪生技术研究》以及国家自然科学基金委重点项目《量子程序设计
