Edward Li

Edward Li

@edward-li.com

🇨🇦🐲🚀 Computer Science & Physics @ UBC | Schulich Leaders | CTF w/ Maple Bacon & Team MMM | Team Lead @ UBCRocket | Host @ Atelier ⁂ https://x.com/edwardjxli https://github.com/EdwardJXLi https://www.edward-li.com

103 followers503 following10 posts

Edward Li
@edward-li.com

Came out of a 2 year long hackathon retirement to win 🏆 GRAND PRIZE at TreeHacks 2026 !!! In 36 hours, we: - Manufactured, designed, and built an entire 4-armed surgery robot (+ a 6am trip to Home Depot). - Wrote our own inverse kinematics control system.

View full thread
Edward Li
@edward-li.com

- Created Nix flakes for reproducible builds on both our production and development environments. - Used dependent type theory in Lean to prove that trajectories are within safe physical bounds.

Edward Li
@edward-li.com

Came out of a 2 year long hackathon retirement to win 🏆 GRAND PRIZE at TreeHacks 2026 !!! In 36 hours, we: - Manufactured, designed, and built an entire 4-armed surgery robot (+ a 6am trip to Home Depot). - Wrote our own inverse kinematics control system.

Edward Li
@edward-li.com

- Designed a custom algorithm to convert LIDAR data into 3d coordinates. - Built a multi-LLM robotic agent using OpenAI's GPT-5.2 and Google DeepMind's Gemini Robotics-ER 1.5. - Mapped real-time orientation data from a Meta Quest 3 onto a physical moving camera arm.

You are up to date.