Academic Faculties & Research Centers
SaJTU fosters high-intensity collaborative inquiry across four core faculties dedicated to spatial intelligence, biomedical imaging, computer software, and game science.
Faculty of Spatial Intelligence & Physical Simulation
3D Embodied AI & Differentiable Physics
Dedicated to building theoretical and computational foundations for perceiving and simulating the physical world. Integrating neural radiance fields (NeRF/3DGS), 4D dynamic spatio-temporal reconstruction, and geometric deep learning with differentiable physics engines to endow autonomous systems with deep physical reasoning and causal simulation.
4D Dynamic Spatial Reconstruction & Embodied World Models
Developing multi-view high-fidelity reconstruction algorithms, spatio-temporal neural representations, and spatial foundation models capable of physical commonsense reasoning in dynamic open environments.
Differentiable Rigid-Soft Coupled Physics Engines
Investigating high-performance differentiable numerical solvers for contact mechanics, continuum dynamics, incompressible fluid flow, and nonlinear constitutive equations of hyperelastic materials.
Faculty of Biomedical Imaging
Imaging Physics & Inverse Scattering Theory
Deeply synthesizing physical measurement principles, PDE inverse scattering theory, advanced biophotonics, and ultra-high-field magnetic resonance physics. Focused on precision reconstruction under ill-posed, high-noise regimes to bridge sub-cellular super-resolution structures and macroscopic organ physiology.
PDE Inverse Problems & Super-Resolution Tomography
Formulating total variation regularizations, mathematical proofs, and sub-micron reconstruction algorithms for electromagnetic and acoustic wave inverse scattering challenges.
Tissue Microstructure Biomechanics & Quantitative Diffusion Physics
Establishing multiscale in vivo diffusion tensor models and extracellular matrix biophysical correlations to push the frontiers of early computational pathology diagnosis.
Faculty of Information Science & Computer Software
Formal Methods & System Software Foundations
Anchored in mathematical logic and programming language semantics, this faculty advances high-assurance software theory, interactive formal verification, and compiler optimization. Addressing foundational bottlenecks in heterogeneous system software, distributed consensus verification, and memory-safe kernels.
Formal Semantics & Interactive Theorem Proving
Leveraging type theory and higher-order logic to build end-to-end automated formal verification engines and theorem proving platforms for mission-critical software.
Heterogeneous Systems & Kernel Safety Models
Designing low-latency compiler optimization pipelines, provably memory-safe concurrency architectures, and adaptive distributed scheduling engines for next-generation hardware.
Faculty of Game Science & Reinforcement Learning
Game Theory & Multi-Agent Decision Systems
Fusing modern algorithmic game theory, imperfect-information competition, and large-scale deep reinforcement learning. Investigating equilibrium computation, self-organizing multi-agent dynamics, foundational sequential decision-making models, procedural content generation (PCG) mathematics, and interactive narrative systems.
Imperfect-Information Games & Multi-Agent Equilibrium
Advancing Counterfactual Regret Minimization (CFR), correlated equilibrium solving, and adaptive emergence dynamics in ultra-large-scale adversarial multi-agent environments.
Virtual World Dynamics & General Decision Foundation Models
Investigating mathematical principles of procedural virtual environment generation, offline RL causal representations, and cross-domain sequential decision models.
SaJTU Working Papers & Preprints Archive
Committed to unreserved Open Science, all manuscripts generated by resident fellows across spatial intelligence, biomedical imaging, software systems, and game science are submitted to open preprint archives (arXiv / HAL) prior to journal publication.
To request working paper reprints, contact: admin@sjtu.edu.pl