技术和学术专题论坛——人机物融合时代的智能系统｜2025年计算之美学术大会

2025年 “计算之美” 技术和学术专题论坛，以 “人机物融合时代的智能系统”为主题，聚焦探讨人机物深度协同下的智能系统建设。论坛邀请多领域顶尖专家，探讨智能系统在安全感知等方面的前沿进展，围绕终端用户可编程范式等热点交流，助力计算系统智能化跃升。

论坛议程

论坛主席

陈泽华，太原理工大学人工智能学院教授。中国计算机学会杰出会员。中国计算机学会女计算机工作者委员会执行委员。中国计算机学会数据治理发展委员会执行委员。山西省国防先进技术创新中心“空间信息大数据产业应用工程技术创新中心”、“太原理工大学超算创新实践基地”负责人。主要研究方向为工业智能与空间信息处理。山西省科技重大专项、太原市关键核心技术攻关项目技术挂帅人。主持完成国家级、省部级、企业委托各类项目十余项。发表学术论文七十余篇。授权国家发明专利近20项。主讲山西省一流课程大数据技术，曾获山西省教学创新大赛二等奖。

滕飞，教授，西南交通大学计算机与人工智能学院副院长，国家高层次青年人才。担任可持续城市交通智能化教育部工程研究中心常务副主任、四川省高等院校计算机基础教育研究会副理事长。主持国家自然科学基金、四川省杰出青年科学基金等国家省部级项目10余项，以第一作者或通讯作者发表SCI论文60余篇，参编专著3部，授权国家发明专利12项。主持四川省首批高阶课程、四川省教改重点项目。CCF理事、YOCSEF成都主席（2020-2021）、成都会员活动中心执行委员。

论坛嘉宾

金芝，CCF / IEEE / AAIA会士，北京大学教授，武汉大学弘毅客座特聘教授。研究方向：面向软件系统工程的人工智能，领域知识驱动的需求工程。在IEEE T-KDE、T-SE、ACM T-OSEM和T-CHI等国际权威期刊以及ICSE、FSE、ASE、ACL和RE等国际知名会议上发表300多篇学术论文，五次获得ACM SIGSOFT杰出论文奖。出版著作五部，并拥有30多项授权发明专利。

报告题目：最终用户意图驱动的物联网应用自动编程

报告简介：以智能家居为代表的物联网系统已无处不在，需要一种终端用户编程范式，以便根据终端用户的意图部署所需的系统。本报告探讨了意图驱动的自动化编程方法、服务调度逻辑自动生成方法以及智能家居设计原型动态组装方法，生成物联网终端用户编程的体验原型。

廖晓峰，重庆大学教授，教育部“长江学者”特聘教授，IEEE Fellow，AIAA Fellow，AIIA Fellow，新世纪百千万国家级人才，全国优秀博士后，教育部新世纪优秀人才，享受国务院政府特殊津贴的专家。入选重庆市“322”人才工程一层次人才，重庆市学术技术带头人。曾任重庆大学计算机学院院长，重庆大学信息学部副主任，西南大学电子信息工程学院院长。现任信息物理社会可信服务计算教育部重点实验室主任。担任中国电子学会“非线性电路与混沌系统”专委会副主任委员，教育部“物联网工程专业教学研究专家组”成员，重庆市“电子学会”副理事长，重庆市电子学会青少年信息技术与人工智能专业委会主任，IEEE计算智能学会重庆分会副主席。

报告题目：分布式机器学习、联邦学习及其安全

报告简介：分布式机器学习和联邦学习面临数据隐私泄露、模型泄露和恶意攻击等威胁。本报告探讨了在大数据环境下分布式机器学习和联邦学习的算法设计及优化与安全问题，提出了多项安全技术和机制，如加密技术、差分隐私、多方计算等，有效地保护数据和模型的隐私和安全。

江贺，国家领军人才、国家优秀青年基金获得者、教育部新世纪人才，大连理工大学人工智能大连研究院院长、大连理工大学未来技术学院/人工智能学院副院长。目前主要研究兴趣包括：人工智能赋能的芯片设计、软件智能化开发方法及环境等。研究成果先后服务航空、航天等重要领域及华为、百度等企事业单位。曾获大连市五一特等奖章、中国计算机学会优秀博士学位论文奖（CCF优博）指导教师、全国东软-NASAC青年软件创新奖、ACM杰出论文奖等。

报告题目：面向工业场景的智能操作系统

报告简介：作为工业4.0的底座，智能制造操作系统面临智能计算支持弱、场景适应难等挑战，本报告探索将智能制造涌现的共性智能计算功能沉淀到操作系统，通过元模型等方式抽象操作系统的结构，支持面向场景的个性化操作系统自生成。

卜磊，南京大学教授，现任软件学院副院长，兼任 CCF 系统软件专委秘书长。主要研究领域涉及软件工程、可信软件、形式化方法等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等上；入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展计划、MSRA铸星计划等。

报告题目：人机物融合系统可信构造与保障

报告简介：人机物融合系统广泛出现在列控、航天等安全攸关领域。本报告探讨了基于形式化建模与验证的可信构造与保障方法。提出了面向可重构系统的基于场景的层次化建模语言，在运行时对系统短期内行为进行快速建模与验证，对潜在不安全行为进行发现与预警，保障安全。

【报名方式】

一、大会官网注册报名

登录大会网站(https://ccf.org.cn/BOC2025)，点击报名。

二、报名二维码