zcai
Summary
👤
SeniorCheney Cai is an embedded software engineer with a decade of hands-on experience building firmware and robotics software, currently interning at Skydio after contributing to Tesla’s Optimus program. A University of Waterloo software engineering student, Cheney has delivered production-ready embedded systems for optical DSPs, ESP32 CAN drivers, and game/full-stack projects, showing versatility across firmware and higher-level software. He’s driven by space exploration and large-scale distributed systems but brings pragmatic skills in C++ and SDK development that translate directly to hardware-constrained environments. Notably, he’s worked on both a published game (Killer Inn) and a full-scale hyperloop pod project, blending product shipping experience with ambitious research-driven engineering. Based in the Bay Area, Cheney combines rapid learning, cross-disciplinary collaboration, and a track record of shipping features from prototype to production.
10 years of coding experience
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (45)
pluggable10
verification10
checker-framework10
java10
type-checking10
checker8
universe7
evaluator7
eval7
logic6
language-server6
generic-programming6
gcc6
abstract-syntax-tree6
refactoring5
Programming languages (4)
Github contributions (5)
zcai1/uniflow
Jul 2022 - Jan 2023
Contributions:41 commits, 3 PRs, 12 pushes in 6 months
zcai1/checker-framework
Feb 2020 - Mar 2023
Pluggable type-checking for Java
Contributions:1 PR, 114 pushes, 50 branches in 3 years 2 months
checkercheckingpluggabletype-checkingjava
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.