高端论坛4无人装备操作系统交叉创新人才培养论坛

简介：

李肯立，湖南大学副校长，国家超级计算长沙中心主任，全国创新争先奖获得者，国家级高层次人才，CCF会士，宝钢优秀教师，享受国务院政府特殊津贴。教育部高效能计算学科创新引智基地负责人、高性能计算应用软件技术教育部工程研究中心主任。国家超级计算创新联盟副理事长、新一代人工智能产业技术创新联盟专家委员会委员、高性能计算国家重点研发计划总体专家组成员、IEEE高级会员、CCF长沙主席、湖南省计算机学会副理事长、IEEE-TC/TSUSC/TII副编辑、《计算机研究与发展》编委。主持国家重点研发计划、国家重大科研仪器研制项目、基金委重点项目、JWKJW重点项目等国家和省部级项目40余项。以排名第一获国家科技进步二等奖2项、中国专利金奖1项、省部科技一等奖4项，获国家科技进步一等奖创新团队奖(排名13)。主要研究领域为高性能计算调度与应用，发表CCF推荐A类会议/期刊、IEEE/ACM汇刊论文200余篇。获授权专利和软件著作权共150余项。

简介：

唐卓，湖南大学信息科学与工程学院院长、网络空间安全学院院长（兼），文化与媒体计算研究中心主任，国家超级计算长沙中心总工程师，国家级高层次人才，算力网络湖南省工程研究中心主任。长期从事高性能分布式计算、可信计算的教学与科研工作。先后主持基础加强重大项目，国家重点研发计划项目，国家自然科学基金重点类项目，国家科技创新2030“新一代人工智能”重大项目课题，国家自然科学基金重点项目、面上项目、应急项目，湖南省科技重大专项、长沙市科技重大专项等课题二十余项。在领域权威期刊和会议上发表论文220余篇，授权发明专利66项（国际专利1项），实现科技成果转化近亿元。制定发布国产化云计算技术省部级通用标准1项。曾获国家科技进步二等奖（2019、2023）、教育部科学研究优秀成果一等奖（2025）、湖南省技术发明奖一等奖、吴文俊人工智能科技进步一等奖、中国产学研合作创新成果一等奖等。

简介：

王巍，现任湖南大学设计艺术学院教授、副院长，国家级实验教学示范中心主任、湖南大学学术委员会委员，兼任教育部高等学校设计学类教指委委员、全国工业设计基础标准化工作组委员、中国计算机学会人机交互专业委员会执委等。曾工作于诺基亚研究院、佐治亚理工学院等，其中多项人机交互技术已成功应用于诺基亚及微软全球量产产品中。因专业学术成果获佐治亚理工学院与英国石油公司联合资助青年教授学术杰出奖、伦敦大学玛丽女王学院共创与企业奖、诺基亚年度全球成就奖、国家教学成果二等奖。

报告题目：无人操作系统的人机环交互设计思考

报告摘要：

面向装备人机操作的特点及当前智能人机交互设计发展趋势，分析操作系统的人机交互趋势。从设计学科视角出发，探讨无人操作系统中人—机—环境三元交互的设计范式转型。面对系统自主化带来的交互复杂度跃升，传统以功能为中心的界面设计已难以满足操作者在复杂场景下的认知、效率与情感需求，亟需引入以用户为中心、以体验为导向的设计方法。面对系统自主化带来的"人在环外"困境，报告将围绕周边交互、多模态介入式界面、环机紧耦合等三个维度展开分析，首先，探讨无人系统物理形态与交互语义的设计映射，分析系统界面如何影响操作者的直觉控制与态势感知；其次，聚焦人机界面的信息架构与可视化设计，研究多模态交互、自适应界面及可解释性设计在降低认知负荷、提升信任度方面的策略；最后，从环境系统出发，审视物理空间、数字界面与社会语境的协同设计，构建面向复杂任务场景的人机环融合设计框架。

简介：

姜宇，清华大学软件学院教授，从事操作系统、数据库管理系统等大规模系统软件的安全测试与防护工作。研制的自动化模糊测试工具被并入谷歌ClusterFuzz与微软OneFuzz等平台，服务于30余家安全攸关企事业单位, 挖掘500余个零日漏洞收入中美国家信息安全漏洞库。在SOSP、S&P、ATC、SIGMOD等CCF-A类会议发表论文100余篇，获Security、FSE等CCF-A类会议杰出论文奖5次，以第一完成人获北京市科技进步奖一等奖、中国计算机学会技术发明奖一等奖等奖励，主持国家重点研发计划项目，基金委青年科学基金项目A类、B类等20余项。

报告题目：操作系统漏洞挖掘思考与实践

报告摘要：

报告将梳理操作系统安全测试存在核心挑战：一是测试输入生成随机性强、有效用例产出率低；二是执行场景复杂，跨层漏洞难以识别与溯源，动态模糊测试路径覆盖效率不足，深层高危漏洞挖掘能力薄弱；三是异构测试环境搭建繁琐，逻辑问题等缺陷自动判定难。针对上述问题，介绍基于多智能体及模糊测试的一体化安全测试最新研究思路与进展：依托大模型实现基础软件输入文法的智能解析与高价值测试种子生成，融合推理大模型与模糊测试完成跨层漏洞自动溯源与缺陷精准判定，搭建适配多种操作系统的统一自动化测试平台。

简介：

陈榕，上海交通大学教授、ACM杰出会员。主要研究领域为操作系统、分布式系统等基础系统软件。原创研究成果发表在计算机系统领域重要会议和期刊上，并两次获得EuroSys最佳论文奖。受邀担任《ACM TOCS》编委，以及OSDI、SOSP等本领域重要会议TPC二十余次。曾荣获国家技术发明二等奖、上海市和教育部技术发明一等奖、以及华为奥林帕斯先锋奖等。

报告题目：AI时代的算力硬件调度关键技术研究

报告摘要：

人工智能时代硬件能力与应用需求都迎来了重大突破与革新，为基础系统软件究带来了机遇与挑战。本次报告将分享我们对于基础系统软件在人工智能时代承担角色和研究方向的初步思考，聚焦当下智能应用的多样化、复合型需求，以及算力硬件的异构化、多元化发展趋势，从以GPU为代表的算力硬件的多任务调度和管理入手，对于共性难题和前沿技术开展的研究工作以及思考。

简介：

刘钊，鹏城实验室助理研究员，聚焦人工智能+网络靶场方向，在SCI/EI发表高水平学术论文15篇，涵盖 ASE、ICSE、KDD、TPDS 等国际顶刊顶会，牵头编写行业标准4项。主持多项国自科、省自科项目，以骨干身份参与2项PCNL重大科研攻关任务。现任广东省人工智能与机器人学会副秘书长。

报告题目：靶场即服务关键技术及推广应用

报告摘要：

网络靶场是开展网络安全人才实训培养、网络攻防演练、技术验证测试的基础载体，场景构建需要完成大规模网络拓扑编排与多维度复杂信息配置。传统以人工为主的场景构建方式，普遍存在场景构建效率低、灵活性差、检查成本高的问题。本报告聚焦人工智能赋能网络靶场建设，研究靶场即服务关键技术，重点阐述自然语言驱动网络拓扑自动构建、图码双向转换与协同编辑、场景配置智能诊断与修复等技术，创新靶场即服务应用模式，为靶场实现高效灵活的场景供给提供技术支撑。

简介：

卢军，清华大学计算机系博士后，助理研究员。于2025年11月获中南大学计算机学院工学博士学位，博士期间曾赴新加坡国立大学计算机学院联合培养。2026年1月加入清华大学计算机系继续从事计算机系统领域的相关研究。主要研究方向包括操作系统与网络系统，当前重点关注远端存储系统、应用流式执行机制及端侧大模型系统优化。近年来，累计以第一作者身份在USENIX NSDI、IEEE Transactions on Networking (ToN)、IEEE Transactions on Cloud Computing(TCC)等国际顶级会议和期刊发表多项研究成果。曾担任IEEE TMC、TCC以及CJE等多个国际期刊和学术会议审稿人。

报告题目：连接存储与执行: 面向按需应用流式加载的语义感知虚拟总线

报告摘要：

传统应用分发要求完整本地安装，这种方式不仅因版本过时带来持续性安全风险，也产生显著的下载延迟。尽管网络吞吐量与延迟性能不断提升，但Web应用和NFS等现有动态加载方案仍存在性能下降、功能受限以及对应用代码侵入式修改等问题。现有Web应用和NFS等动态加载方案仍存在性能下降、功能受限及代码侵入等问题。本报告介绍STREAMBUS，一种透明的应用流式加载系统。它将网络抽象为位于文件系统之下的语义感知虚拟存储总线，通过同步按需加载与异步预测预取相结合，并利用线程感知的马尔可夫链模型预测细粒度访问模式，实现媲美本地存储的微秒级访问延迟实验结果表明，STREAMBUS在多种网络环境下均可实现接近本地存储的运行性能，为应用的安全、高效按需分发提供了新的解决方案。

简介：

王永浩，湖南大学人工智能与机器人学院助理教授、硕士生导师，国家级高级人才方乐缘教授智能感知与分析团队核心成员。主要从事人工智能反问题求解、信号处理与成像反演、数字图像处理与解释等方向研究。在IEEE TGRS、GRSL、MICCAI、ISBI、IUS等期刊和会议发表论文19篇，其中第一作者9篇，获国家发明专利授权3项。曾获中国地球科学联合学术年会学生优秀论文奖、中海油重大科技项目总结会二等奖（序二）。长期担任国内外期刊及会议审稿人。

报告题目：天空中的新居民：无人机技术漫谈

报告摘要：

无人机作为近年来快速发展的智能化空中平台，正在成为继地面机器人、智能汽车之后的新型空间载体，广泛应用于智慧城市、农业监测、环境感知、应急救援、测绘遥感、能源巡检以及科学研究等多个领域。本报告以“天空中的新居民”为主题，围绕无人机技术的发展历程、系统组成与关键技术展开介绍。报告将从无人机飞行平台、智能感知、自主控制、导航定位、任务规划以及人工智能赋能等方面，探讨无人机如何实现从“遥控飞行”向“自主智能作业”的演进。同时，结合典型应用案例，分析无人机技术在复杂环境下的数据采集、智能决策和自主执行能力，展示其在未来智能化社会中的重要作用。此外，报告还将讨论当前无人机技术面临的挑战，包括安全监管、智能算法可靠性、多机协同以及复杂场景适应等问题，并展望无人机与人工智能、机器人技术深度融合的发展趋势。通过本次报告，旨在帮助听众了解无人机技术前沿进展，认识这一“天空中的新居民”如何改变人类获取信息、探索空间和解决实际问题的方式。