PhD candidate, School of Computer Science, Peking University. Operating systems for embodied intelligence, agent systems, Rust OS, virtualization.