快乐8开奖结果-快乐8走势图

快乐8开奖结果,千亿体育游戏平台,银河999游戏中心:快捷指南

Quick guide

学术动态

首页 >> 学术动态 >> 正文

数字化图书馆
网络安全与管理
学术期刊
科学研究
国资全业务办理
国际交流
科技产业
校友总欢乐炸三张appAPP
资产管理
财务综合服务
招标采购
教育培训基地

快乐8开奖结果,千亿体育游戏平台,银河999游戏中心:【学术报千亿体育游戏平台预千亿体育游戏平台】可信智能系统内生安全构造与评估

发布日期：2024-06-07 点击：

报千亿体育游戏平台专家：李钦

报千亿体育游戏平台时间：2024年6月13日19：00

报千亿体育游戏平台地点：腾讯欢乐炸三张appAPP议500-665-459

专家简介：华东师范大学软件工程银河999游戏中心副教授，主要研究方向为人机物融合系统可信建模与验证、安全可信智能系统建模理论与验证方法、多智能体协同决策的形式化建模与分析等。已在IEEE Transactions on Computers、Formal Aspects of Computing、Science of Computer Programming等国际期刊和欢乐炸三张appAPP议上发表学术论文40余篇。承担国家重点研发计划课题《多源城市数据全生命周期可信保障技术体系》，基金委面上项目《面向智能网联车的时空认知多粒度分解与协同机制的建模与验证》。担任形式化方法方向重要国际欢乐炸三张appAPP议TASE2020程序委员欢乐炸三张appAPP主席，参与多个形式化方法国际期刊与欢乐炸三张appAPP议的审稿工作。

主办单位：学科建设办公室

承办单位：计算机科学与技术银河999游戏中心