Core Skills

Systems programming in Rust for real-time-capable, low-latency, high-throughput middleware: migrating Zenoh's async runtime from async-std to Tokio, and building rmw_zenoh — the ROS 2 RMW layer that replaces CycloneDDS/FastDDS with Zenoh's QoS-aware pub/sub. Comfortable across the full stack: distributed systems design, embedded/IoT (seven years, part-time), and C++ where the codebase demands it.

Highlights

Committer on Eclipse Zenoh and rmw_zenoh since 2024. Built hiroz, a pure-Rust ROS 2 stack with zero DDS dependency and no colcon workspace in the loop. Presented robotics-middleware work at ROSCon Global, COSCUP, and Rust Asia — six talks since 2023. I'd rather the compiler catch a mistake than a robot arm, which is also why I gave a COSCUP talk on machine-checked proofs in Lean.

Background

BS in Mathematics & Mechanical Engineering and an MS in Applied Mathematics (thesis: medical image auto-segmentation), both from National Taiwan University — the math background that now shows up in QoS and reliability modeling for real-time pub/sub. Robotics and embedded systems came in alongside that: seven years teaching embedded software and IoT part-time at CAVEDU while in school, and a self-balancing two-wheel robot with a PID controller and a small reinforcement-learning model, back in 2017.