I'm a Computer Science Master's student at Peking University, interested in building reliable and efficient systems.
My research interests include Operating Systems, Virtualization, Robotics, and AI Agents.
- Operating Systems β Kernel development, system architecture, and low-level programming
- Virtualization β Hypervisors, hardware virtualization, and virtual I/O
- Robotics β Robotic systems and infrastructure for embodied intelligence
- AI Agents β Intelligent agents and their integration with real-world systems
- Robonix β An agentic operating system for robots. Currently responsible for developing Chronos, its time synchronization module.
- hvisor β A lightweight Type-1 hypervisor written in Rust.
- RuxOS β A Rust-based unikernel operating system.
- DragonOS β An operating system developed from scratch in Rust, aiming for Linux compatibility.
- Languages: Rust, C, Python
- Platforms: Linux, ARM64, RISC-V
- Technologies: ROS 2, VirtIO, KVM, PTP
Feel free to explore my repositories or reach out for discussions and collaboration!

