大会特邀报告


特邀报告议程

时间 报告主题 特邀嘉宾
12月2日 09:15~09:50 云原生网络体系架构与关键技术 于全(中国工程院院士)
09:50~10:25 MIMOS: from theory to tools for (safety-critical) embedded software design & updates 王义(ACM/IEEE Fellow、欧洲科学院院士)
10:50~11:25 大数据科学、技术与应用的一些发展趋势 徐宗本(中国科学院院士)
12月3日 09:00~09:35 人工智能时代安全攸关软件系统设计方法展望 何积丰(中国科学院院士)
09:35~10:10 数字化转型背景下金融风险监测技术与金融科技发展思考 柴洪峰(中国工程院院士)
10:30~11:05 严格工程化的可信和理想主义的智能化 蒋铭(华为Fellow、2012可信实验室总裁)


特邀嘉宾



1.特邀嘉宾:于全(中国工程院院士)

报告题目:云原生网络体系架构与关键技术

摘要:从万物智联需求出发,提出了通信/计算/存储一体化的原生网络新型架构;从生物学启示出发,提出了类神经元的全解耦异构无线接入,实现空间、时间、频率、功率、编码等网络资源的高效柔性聚合和天空地一体化协同传输;针对不确定性的未知攻击应对难题,提出了类生物免疫的内生网络安全机制,实现零信任安全与自适应防御的有机结合;最后总结了云原生新型网络的云原生、智原生、安全内生、弹性内生、低成本、低能耗六大特征。

简介: 于全,军事科学院系统工程研究院研究员、科技委主任,信息安全重点实验室主任,自然科学基金重大研究计划“空间信息网络基础理论与关键技术”指导专家组组长,《Journal of Communication and Information Networks》创刊主编 ,中国指挥与控制学会副理事长,IEEE Fellow,中国工程院院士 。1997年被评为“全国优秀科技工作者”,1999年获“中国科协求是杰出青年奖”,2006年获“第九届中国青年科技奖”,2008年被评为“中国青年五四奖章标兵”,2010年获何梁何利基金“科学与技术进步奖”,2018年获中国政府出版奖。获国家科技进步一等奖1项、二等奖1项,军队科技进步一等奖5项、二等奖2项。





2.特邀嘉宾:王义(ACM/IEEE Fellow、欧洲科学院院士)

报告题目:MIMOS: from theory to tools for (safety-critical) embedded software design & updates

摘要: Today, the functionality and economical value of industrial systems and products, such as cars, airplanes, and medical equipment, is defined and realized by embedded software. Dynamic software updates are critical for new features, product customization and security patches, but presently are not well supported for safety-critical systems. MIMOS is a framework providing a new design paradigm and software tools for building embedded software which can be updated on demand dynamically and safely over their operational life-time. MIMOS is essentially an asynchronous design paradigm aiming at deterministic, composable, verifiable and performance-oriented design for embedded systems deployed on heterogeneous multi-core platforms with stringent timing and resource constraints. In this talk, I will motivate the design principles of the MIMOS model in comparison with the well-developed synchronous design paradigm based on Scade/Lustre and Simulink. I will present the underlining semantic theory as well as the architecture and implementation of the tool-chain, including a tool demo.

简介: Wang Yi is a chair professor at Uppsala University. He has a Ph.D. in Computer Science from Chalmers, Sweden. His interests are mainly in embedded systems design. He received CAV award in 2013 for the development of UPPAAL, IEEE TCRTS Award in 2019 for technical contributions and leadership in the field of real-time systems, and Uppsala University's Rudbeck Medal in 2022 for outstanding achievements in science. He is a recipient of ERC Advanced Grant of European Commission. Wang is a fellow of ACM & IEEE.





3.特邀嘉宾:徐宗本(中国科学院院士)

报告题目:大数据科学、技术与应用的一些发展趋势

摘要: 大数据是信息化社会信息承载的载体,是信息获取、传输、加工、处理、应用的底层形式,它既是数字经济的核心要素,也是驱动科学研究范式变革的核心动力。本报告概述大数据科学、技术与应用的一些发展趋势,包括对大数据的再认识和发展趋势两部分。在对大数据的再认识部分,我们提出大数据价值实现的基本原理、大数据分析与处理面临的主要科学技术问题, 以及承载大数据未来发展的数据科学框架。在发展趋势部分,我们除概述大数据统计学、大数据计算基础算法、深度学习发展外,概括并提出“目标引导、智能搜索、智慧评价”的科学发现范式,以及“数据-机理-知识”溶合的科学研究范式。我们也指出大数据应用中“从基础设施到数据业务化”的必要性与趋势。

简介: 徐宗本,数学家、中国科学院院士、西安交通大学教授。 主要从事应用数学、智能信息处理、机器学习基础理论研究。曾提出稀疏信息处理的L(1/2)正则化理论,为稀疏微波成像提供了重要基础;发现并证明机器学习的“徐-罗奇”定理, 解决了神经网络与模拟演化计算中的一些困难问题,为非欧氏框架下机器学习与非线性分析提供了普遍的数量推演准则; 提出基于视觉认知的数据建模新原理与新方法,形成了聚类分析、判别分析、隐变量分析等系列数据挖掘核心算法, 并广泛应用于科学与工程领域。 曾获国家自然科学二等奖、国家科技进步二等奖、陕西省最高科技奖; 国际IAITQM 理查德.普莱斯(Richard Price)数据科学奖; 中国陈嘉庚科学奖、华罗庚数学奖、苏步青应用数学奖;曾在2010年世界数学家大会作45分钟特邀报告。 曾任西安交通大学副校长,现任琶州实验室(黄埔)(鹏城国家实验室广州基地)主任、陕西国家应用数学中心主任、大数据算法与分析技术国家工程实验室主任,是国家大数据专家咨询委员会委员、国家新一代人工智能战略咨询委员会委员。






4.特邀嘉宾:何积丰(中国科学院院士)

报告题目:人工智能时代安全攸关软件系统设计方法展望

摘要: 本报告将回顾在安全攸关软件的开发和验证阶段形式化建模技术发展的历程;介绍安全攸关领域中典型应用场景,和取得的进展。报告还将讨论新型系统软件的特征与关键开发技术,分析了在需求开发,仿真验证,产品部署,以及交互模式上面临的新课题;指出了在需求开发跟产品运维阶段相关的研究方向。最后报告将展望软件中人在闭环的发展趋势。

简介: 何积丰,中国科学院院士,华科智谷人工智能研究院院长,著名计算机软件科学家,现任中国信息技术标准化技术委员会软件与系统工程分技术委员会主任委员、国家可信嵌入式软件工程技术研究中心首席科学家、教育部可信软件国际合作联合实验室主任、上海市人工智能战略咨询专家委员会委员。 何院士是程序统一理论创立者,数据精化完备理论奠定者,基于模型的可信软件设计技术的开拓者。何院士在世界上首次提出“可信人工智能”,自此世界各地开始广泛关注人工智能的安全可信问题。 曾担任国家自然科学基金委重大研究计划,科技部973计划、863计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体,出版英文专著2部,在国际期刊和会议上发表论文160余篇,他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项;以项目第一完成人荣获上海市科技进步奖特等奖; 以第一完成人获省部级科技进步奖与科技成果奖一等奖4项,两次荣获英国女王先进技术奖,以及获得法国骑士勋章。另外授予全国五一劳动奖章,上海市教育功臣和上海市科技功臣等称号。





5.特邀嘉宾:柴洪峰(中国工程院院士)

报告题目:数字化转型背景下金融风险监测技术与金融科技发展思考

摘要: 二十大报告中指出防范金融风险还须解决许多重大问题。数字化转型背景下,以大模型为代表的人工智能技术飞速发展,赋能增效金融业务、金融场景的同时,以金融欺诈风险、金融科技产品创新风险、加密资产风险等为主要代表的各类金融风险也出现新的特点和特征,如复杂隐蔽、关联关系庞杂、新型动态的金融风险,威胁到国家资产和人民财产安全,亟需建立安全智能监测体系。目前团队聚焦金融风险关键领域,依托国家重点研发计划项目,在金融欺诈及支付受理市场违规侦测技术、金融科技产品和机构风险监测技术和虚拟货币非法交易识别和追踪技术等方面开展研究。站在新的历史起点上,在新的历史方位和发展格局中,针对金融科技发展的科学与工程问题,聚焦国家重点关键性、基础性、牵引性战略需求任务,发挥产学研协同优势,攻关金融科技关键技术,为安全可持续发展贡献力量。

简介: 柴洪峰,中国工程院院士,金融信息工程管理专家,现任复旦大学金融科技研究院院长、复旦大学计算机科学与技术学院教授、博士生导师。自1986年起,一直从事金融信息工程领域研究,专注金融交易机制设计、金融系统信息化工程研制建设和工程管理。根据国家战略决策,主持并从事研制建成了多项国家级金融改革重大信息工程,取得了一系列开创性成果。为推动金融领域信息化建设和银行卡产业整体发展做出了重要贡献。其中,银行卡信息交换系统,是首次实现国家级银行卡的联网通用工程,获得国家科技进步二等奖。全国银行间同业拆借系统、国债交易和结算系统工程,是首次实现银行间货币市场统一的信息工程。中国黄金交易系统,是首个服务中国黄金交易的信息系统工程。中国外汇交易系统,是银行间人民币汇率形成机制的奠基工程,获国家科技进步二等奖。先后在金融信息工程管理科技创新突破中,获得省部级特等、一等、二等奖共四十五项。





6.特邀嘉宾:蒋铭(华为Fellow、2012可信实验室总裁)

报告题目:严格工程化的可信和理想主义的智能化

摘要: 保障系统可信一直是软件工程面临的重大挑战。华为公司通过近五年的软件工程变革,构建了一整套严格工程化的可信理论、技术与工程体系,包括但不限于全量设计、Clean Code、软件资产管理、开源管理等,极大提升了软件系统的可信。而大模型的兴起带来软件工程新机遇和挑战,一方面大模型在多个软件工程数据集上达到惊人效果,另一方面大模型如何融入软件工程实践并提升系统可信缺少理论和技术支持。这导致了严格工程化的可信和理想主义的智能化之间产生了矛盾。本次报告针对该矛盾展开探讨,主要分享华为软件工程变革的实践、人类对技术创造物的认知规律和大模型在软件工程的应用,系统化反思大模型如何保障软件可信,并在此基础上展望未来大模型与可信软件工程融合的新方向。

简介: 华为公司Fellow,2012可信理论、技术与工程实验室总裁。