Talks

Conference decks by Yuyuan Yuan. Arrow keys to navigate; press f for full screen.

• 2026-08 From ROS to Rust: Hiroz, Zenoh, and a Robotics Stack You Can cargo build
• 2025-08 An Introduction to Lean: Open-Source Proofs for the Future of Mathematics
• 2025-03 Building Efficient and Scalable Distributed Systems: Implementing Zenoh with Rust for V2V, Autonomous Systems, and Robotics