核心学术学部与重点实验室
萨尔马提亚交通大学坚持基础理论攻关与前沿科技底座创新，设立空间智能与物理模拟、生物医学影像、信息科学与计算机软件、游戏科学与强化学习四大核心学术学部。
空间智能与物理模拟学部
Faculty of Spatial Intelligence & Physical Simulation
空间智能与物理模拟学部致力于构建下一代物理世界可计算基础理论。融合神经辐射场（NeRF/3DGS）、4D动态时空重建与几何深度学习，结合微分方程可微物理引擎，赋予自主系统对复杂真实世界三维几何结构、动力学响应及因果规律的深层认知与模拟能力。
4D动态空间重建与具身世界模型
研发大尺度动态开放环境下的多视点高保真重建算法、时空神经表征及具备空间物理推理能力的世界基础模型。
可微刚柔耦合物理仿真引擎
探索接触动力学连续介质模拟、不可压缩流体与弹性材料微观本构方程的高性能可微数值解算架构。
生物医学影像学部
Faculty of Biomedical Imaging
将物理测量、偏微分方程逆散射反演与先进生物光学、超高场磁共振理论深度交融，专注于不适定、高噪声条件下的精密成像算法创新，实现从亚微观细胞超分辨结构到宏观器官系统生理状态的定量无损重建。
偏微分方程反演与超分辨断层计算
针对电磁与声学波动方程逆散射问题，研发全变分正则化数学证明与亚微米级超分辨显微重构算法。
组织微结构生物力学与弥散定量物理
建立多尺度活体组织弥散张量模型与细胞外基质微结构生物物理关联，突破计算病理早筛极限。
信息科学与计算机软件学部
Faculty of Information Science & Computer Software
以数理逻辑与程序理论为基石，深耕高可信软件理论、程序形式化验证与编译优化。致力于攻克高性能异构系统软件、高并发分布式协议验证及新型内存安全系统内核的基础理论瓶颈。
程序形式化语义与交互式定理证明
基于类型论与高阶逻辑，构建支持复杂工业软件全生命周期端到端自动形式化验证与定理证明器平台。
高性能异构系统软件与内核安全理论
面向新型异构计算芯片架构，研发低延迟编译优化通道、内存安全模型与自适应分布式调度引擎。
游戏科学与强化学习学部
Faculty of Game Science & Reinforcement Learning
将现代博弈论、非完全信息对抗与大规模深度强化学习相融合，探索多智能体在复杂动态虚拟环境中的均衡解算、自组织演化及通用决策模型。推动程序化内容生成（PCG）数理逻辑与交互叙事系统动力学研究。
非完全信息博弈与多智能体均衡解算
攻坚超大规模对抗博弈中的反事实遗憾最小化算法（CFR）、相关均衡解算及群体智能自适应涌现动力学。
虚拟世界动力学生成与通用决策大模型
探索程序化虚拟场景演化法则、离线强化学习因果表征及跨领域通用序贯决策基础模型的构建。
SaJTU 预印本与工作论文系列 (Working Papers Series)
萨尔马提亚交通大学恪守完全开放科学（Open Science）准则。驻院学者在空间智能、医学影像、系统软件及强化学习领域完成的理论工作论文均优先通过 SaJTU 学术公报及国际预印本平台（arXiv / HAL）公开归档，供全球同行研讨。
如需索取专题工作论文或学术报告预印本，请联络秘书处：admin@sjtu.edu.pl