★ 软件科学与技术系（非师范）

本专业面向国家自主可控软件产业发展的战略需求，针对当前以AI智能体、人机物融合系统（CPSS）、云-边-端泛在算力为代表的新型计算形态下的软件设计与开发，从可信软件基础理论，如程序语言理论、程序分析和形式化验证技术;复杂系统如信息物理融合系统等系统软件的设计与开发共性技术;面向安全攸关领域如轨道交通、汽车电子、智慧城市、人工智能安全等的可信软件开发与应用等三个方向全方位展开深入研究。借助专业团队在可信计算领域的科研优势，依托上海市高可信计算重点实验室、教育部可信计算国际联合实验室以及国家可信软件国际联合研究中心等科研与学生培养基地，以高可信软件设计和开发为核心，强调数学、概率统计与数理逻辑等基础理论能力、重视软件全周期开发，系统架构设计等实践能力，通过“产-学-研-用”一体化培养体系，培养理论基础扎实、实践能力突出、具有国际视野的高端软件人才。

★ 嵌入式软件与智能系统系（非师范）

本专业紧扣国家人工智能、具身智能、智能制造等重大战略需求，面向异构智能计算、实时嵌入式软件、嵌入式人工智能、具身智能四大前沿方向，深耕嵌入式软件与智能系统核心知识体系，围绕嵌入式系统与人工智能核心技术开展基础研究与工程创新。重点攻关可信嵌入式智能系统的共性关键技术、智能体软硬件协同设计方法、智能系统可信度量与评估、边缘—端侧人工智能与具身智能开发工具链等核心难题，着力打造自主可控、国际一流的嵌入式智能软件开发环境与集成创新平台。研究成果面向航空航天装备、汽车电子与自动驾驶、工业智能装备、智慧医疗、具身智能机器人、智慧农业六大重点赛道开展示范落地应用，打通从底层核心软件技术攻关到行业场景产业化的创新链路，为我国嵌入式基础软件、具身智能机器人、高端智能装备等产业高质量、自主可控发展输送高层次复合型工程技术人才，助力国家人工智能、具身智能、智能制造创新升级。

★ 安全可信理论与技术系（非师范）

本专业面向国家网络空间安全、数据安全与人工智能安全等重大战略需求，聚焦安全可信变革性理论与方法研究，以培养具备坚实密码学理论基础、系统安全分析能力和工程实践能力的高层次网络安全人才为核心定位。围绕数字经济、数据要素流通、人工智能应用和关键信息基础设施安全中的核心问题，教学、科研布局紧扣安全可信理论与技术前沿方向，主要包括密码学、人工智能安全、数据要素安全、联邦学习与大模型隐私保护等。同时，注重安全可信理论与工程应用的深度结合，围绕密码算法设计、隐私保护计算、安全协议构造、智能系统安全评估、数据流通安全保障等方向开展系统研究，形成了基础理论创新、关键技术突破与应用系统研发协同推进体系。解决了若干密码学公开问题，参与制定多项国家密码算法标准，开发了世界首台加密数据共享移动设备、自主研发隐私计算一体机及恶意软件分析工具等。本专业是全国最早倡导和开展网络空间安全的研究单位，拥有一支高水平的教学科研团队，为推进上海市科创中心建设及国家安全信息化发展提供核心技术支撑。

★ 工业软件系（非师范）

本专业面向国家工业软件自主创新和制造业数字化转型的战略需求，聚焦工业软件的基础理论、核心技术与行业应用，围绕工业系统建模与仿真、工业软件开发与验证、工业数据分析与智能优化等方向开展深入研究。重点研究电子设计自动化、工业控制与嵌入式软件、数据链、数字孪生、智能制造等领域的关键技术，探索人工智能、形式化方法与高性能计算在工业软件需求分析、架构设计、仿真计算、测试验证和运行维护中的应用，提升工业软件的自主性、可靠性与智能化水平。依托学校在可信软件、智能计算和软硬件协同设计等方面的科研基础和相关国家级、省部级科研平台，注重数学与工程基础，强化工业建模、软件开发、系统设计和测试验证等方面的实践训练，通过产学研合作，培养熟悉工业生产流程、具备工业软件研发和工程应用能力的专业人才。