Garret Kelly
Principal Software Engineer at Robinhood
Boston, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolGarret Kelly is a Principal Software Engineer based in Boston with 14 years of experience building scalable systems and developer tooling across companies like Google and Robinhood. He blends deep systems and back-end expertise with hands-on embedded/IoT work — contributing board support and USB examples to the atsamd Rust ecosystem — and has improved low-level behavior in niche platforms such as Urbit. At OpenTitan he streamlined CI/CD and deployment for documentation, demonstrating a knack for productionizing infrastructure and developer workflows. Known for pragmatic problem-solving, he moves comfortably between firmware, distributed services, and build pipelines, mentoring teams to ship reliable software at scale.
14 years of coding experience
18 years of employment as a software developer
Upper Canada CollegeBachelor of Software Engineering Software Engineering, Bachelor of Software Engineering Software Engineering at University of Waterloo
Github Skills (23)
samd2110
hugo10
docker10
microcontroller10
dockers10
cicd10
gcp10
argo10
urbit10
sys10
embedded10
rust10
deployment-automation10
hal10
google-cloud-build10
Programming languages (21)
Github contributions (5)
lowRISC/opentitan
Oct 2019 - Nov 2020
OpenTitan: Open source silicon root of trust
Role in this project:
DevOps Engineer
DevOps EngineerContributions:132 reviews, 46 commits, 157 PRs in 1 year 1 month
Contributions summary:Garret focused on enhancing the build and deployment infrastructure for the OpenTitan documentation and landing pages. Key contributions included the creation of a continuous deployment pipeline using Cloud Build and Docker, streamlining the build process with a pre-configured builder container. Furthermore, the user updated the deployment scripts for the redirector service, ensuring proper routing for both documentation and landing page content.
root-of-trustrootsilicontrust
atsamd-rs/atsamd
Apr 2020 - Jul 2021
Target atsamd microcontrollers using Rust
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:2 reviews, 6 commits, 5 PRs in 1 year 3 months
Contributions summary:Garret contributed significantly to adding support for the Seeeduino XIAO and the Adafruit QT Py M0 boards, which are SAMD21-based microcontroller boards. They implemented example programs for the new boards, including a blink example and a USB serial example using the board's USB capabilities. These commits involved creating board-specific configurations and examples for the hardware, demonstrating a deep understanding of the hardware and the related Rust ecosystem.
samd51nrf52840rustatmelsame54
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.