2026年华东师范大学软件工程学院（滴水湖国际软件学院）2026年“可信人工智能优秀大学生夏令营”活动通知 查看原文

软件科学与技术方向

立足国家基础软件自主可控战略发展需求，以培育适配国家安全重点领域的高可信软件高端人才为核心目标，着力攻克基础软件关键技术短板，破解产业核心“卡脖子”难题，重点塑造学生严密数理逻辑、软件工具研发能力与国际化科研视野。本方向科研围绕可信软件完整体系布局，深耕智能化软件工程、信息物理融合系统、可信人工智能、形式化验证与测试核心领域，同步拓展工业软件、大模型软件工程、系统软件交叉创新前沿赛道，建成理论攻关、交叉创新深度融合的完整科研体系。依托上海市高可信计算重点实验室、可信软件应用联合实验室等省部级优质科研平台，实行全过程科研融合育人，以纵向基础课题、产学研联合攻关项目为牵引，让学生完整参与理论研究、核心技术开发、工具研制、形式化测试验证全流程实战训练。本方向师资梯队完备，现有5名国家及省部级高层次人才，科研支撑力量坚实；团队累计产出百余篇高水平原创成果，发表于ICSE、CAV、TSE、TOSEM等软件工程与理论计算机国际顶会顶刊，形成前沿研究带动实训、实战训练赋能高端人才输出的良性闭环育人模式。

嵌入式软件与智能系统方向

面向航空航天、高端制造、自动驾驶、医疗电子、具身机器人等国家重大战略领域，紧盯国际智能软硬件前沿技术与产业落地场景，聚焦嵌入式软件开发、软硬件协同设计、智能系统控制核心内容，培育兼具理论素养与大型工程落地能力的复合型高端技术人才，全方位支撑重点行业数字化智能化升级。研究体系紧密对接产业真实创新需求，覆盖芯片配套嵌入式开发、多模态智能协同、工业控制系统、自动驾驶软硬件一体化等多个前沿分支，打通基础算法研究与工程产品落地通道，构建多技术交叉互补、产学研深度联动的特色科研布局。本方向坐拥国家可信嵌入式软件工程技术研究中心、软硬件协同设计技术与应用教育部工程研究中心、上海工业控制系统安全创新功能型平台等多层级高水平科研载体，搭配丰富稳定校企合作资源，学生可跟随工程经验丰富的导师参与前沿学术课题，深度投身企业联合研发项目，在真实工程场景中锤炼软硬件一体化设计、智能系统调试开发实战能力。师资队伍结构均衡，拥有十余名国家、省部级高层次人才，为学科建设、技术攻关与学生实践指导提供坚实保障；师生累计发表数百篇高水平学术论文，成果刊发于AAAI、NeurIPS、ISCA、DAC、ICSE等人工智能、计算机系统、软件工程领域国际顶级期刊会议，学科科研创新与技术转化综合实力突出。

安全可信理论与技术方向

紧扣网络空间安全、数据要素流通安全、人工智能安全国家重大战略需求，以密码学基础理论为核心根基，聚焦安全可信关键核心技术攻关，培养精通密码算法设计、系统安全分析、安全工程落地的高层次复合型网络安全人才，为关键信息基础设施、数字经济、智能产业提供核心人才与技术支撑。科研布局覆盖密码学、联邦学习与大模型隐私保护、数据流通安全、人工智能系统安全四大前沿方向，兼顾基础理论创新与工程实际应用，围绕安全协议构造、隐私计算系统、智能平台安全检测、恶意程序逆向分析开展系统性研究，搭建理论创新、技术突破、安全装备研发协同推进的完整科研链条。依托校内网络空间安全研究院、密码与安全研究中心两大核心平台，坚持项目驱动式科研育人，将高水平理论成果、政企安全工程项目贯穿人才培养全程，组织学生深度参与密码算法研发、隐私计算平台搭建、AI安全防护、恶意软件分析等实操任务，同步锤炼数理建模、算法开发、系统实现、安全核验综合能力。本方向师资力量雄厚，配备国家杰青1人、国家级青年人才1名、近10名上海市市级高层次人才；团队累计发表数百篇高水平论文，成果刊登于CRYPTO、EUROCRYPT、ACM CCS、NDSS、USENIX Security等密码安全国际顶会及IEEE权威期刊，原创多款密码算法与安全协议，攻克多项行业公开难题，参与制定多项国家密码标准，自主研发多款国产安全设备，斩获十余项教育部自然科学、技术发明一等奖等重要奖项。学生积极参与“互联网+”、挑战杯、全国密码技术竞赛等科创赛事并屡获国赛大奖，充分体现本方向理论科研、工程实践、创新培育一体化的综合办学实力。