CCF@U第1270场：CCF系统软件专委走进西安邮电大学
5月24日，由中国计算机学会（CCF）主办、CCF系统软件专委与西安邮电大学联合承办的“CCF走进高校”系列活动第1270场在西安邮电大学计算机学院举办。活动聚焦系统软件领域的前沿技术与发展趋势，围绕“智能人机物系统安全”、“智能时代的机载嵌入式操作系统”、“智能合约安全”以及“大模型下的软件工程创新”等前沿主题展开精彩分享，通过学术交流、技术解析与思想碰撞，为参会师生打开了技术视野，带来诸多思维上的启发与碰撞。
CCF系统软件专委会副主任、南京大学许畅教授，专委常委、中航工业计算所崔西宁研究员，专委执委、西安交通大学王海军教授，浙江大学胡星副教授，以及南京大学、浙江大学、大连理工大学、西安交通大学、西安电子科技大学、中航工业计算所和西安邮电大学等多所高校和科研院所的师生，共计50余人现场参会。西安邮电大学党委副书记郑大远、系统软件专委副主任许畅、西安邮电大学计算机学院院长陈彦萍参加会议并致辞，活动由西安邮电大学计算机学院副院长孙家泽主持。
活动伊始，西安邮电大学党委副书记郑大远致开幕辞，代表学校向与会专家表示热烈欢迎和感谢，指出系统软件是支撑整个信息技术体系的基石，系统软件的自主创新能力更是国家科技安全与产业竞争力的核心体现，希望以这次活动为契机，广交学术英才、汇聚科研资源、拓展合作路径、激发创新潜能，为系统软件领域的发展注入更多西邮智慧与力量。CCF系统软件专委会副主任许畅，介绍了CCF系统软件专委会的工作宗旨和常规学术、教育和产业活动，并对活动举办方表示感谢。计算机学院院长陈彦萍介绍学院在Linux操作系统内核优化、系统软件与性能工程、以及可信软件等方向上取得的成果，希望能深化合作，促进产学研融合。
学术报告环节，CCF系统软件专委副主任、南京大学许畅教授在《智能人机物系统安全:从验证、测试和调试的角度》报告中，针对开放环境下动态资源、异构环境等非确定性威胁，通过输入验证智能化、编译测试革新、系统调试升级等，实现保障人机物系统安全的智能化技术革新路径。中航工业计算所崔西宁研究员做《智能时代的机载嵌入式操作系统》报告，介绍了自主研制的天脉OS系列在强化协同计算，应对安全性和计算实时性等挑战方面的攻关历程，为在大国博弈与科技封锁的背景下，我国科研人才应如何立足国家战略需求，从‘跟跑’到‘并跑’甚至‘领跑’做出了很好的范例。
西安交通大学王海军教授在《面向行为预警和对抗性攻击生成的智能合约安全》报告中，聚焦区块链智能合约安全的核心挑战与创新解决方案，介绍了攻击合约利用行为预警、价格操纵行为预警、欺诈行为预警、攻击交易生成和对抗性合约生成等前沿技术方案，拓展了智能合约安全研究的新视野。浙江大学胡星副教授在《大模型下软件工程的现状与展望》报告中指出，大模型正深度融入软件开发全流程，但面临真实复杂场景生成能力不足、代码幻觉、安全隐患等多重瓶颈，介绍了其在大模型能力评估、高质量数据集构建等方面的工作，为开展大模型驱动的软件工程研究指明了潜在方向。
报告期间，参会师生踊跃提问，就智能系统安全验证的落地难点、嵌入式操作系统国产化替代挑战等话题与专家展开深度交流。
活动最后，主持人孙家泽教授总结指出，专家们的报告不仅为智能时代的软件技术创新提供了理论支撑，更激发了青年学者与学子投身关键领域研究的使命感。本次“CCF走进高校”活动通过前沿议题研讨与技术成果展示，为西安邮电大学师生搭建了与顶尖专家对话的平台，彰显CCF系统软件专委以学术公益助力高校学科建设、赋能核心技术攻关的使命担当，为培育兼具理论素养与实践能力的复合型人才注入新动能。
京公网安备 11010802032778号