Will Stuckey
Branch Head - Hardware R&D at Georgia Tech Research Institute
Atlanta, Georgia, United States
Summary
👤
Senior🎓
Top SchoolWill Stuckey is a hardware R&D leader and embedded systems researcher with 11 years of experience applying formal methods, firmware/hardware security, and microelectronics reliability to mission- and safety-critical cyber-physical systems. As Branch Head at GTRI he leads an 8-engineer team that blends formal verification, side-channel analysis, and full lifecycle PCBA design in an in-house CICADA lab, while his hands-on background includes FPGA and ASIC reliability testing and custom tooling for LTL-based HDL verification. He pairs deep academic training from Georgia Tech with practical embedded prototyping—contributing to robotics codebases like RoboJackets’ RoboCup software and developing architecture-agnostic FPGA bus and cryptography work. Comfortable spanning research, tooling, and operational engineering, he also brings experience mentoring and scaling student teams into stable engineering pipelines. An unusual strength is his ability to combine quantum‑application laser/thermal control design with supply-chain-aware embedded security, making him adept at solving cross-domain hardware trust problems.
11 years of coding experience
1 year of employment as a software developer
Master's degree, Electrical and Electronics Engineering, Master's degree, Electrical and Electronics Engineering at Georgia Institute of TechnologyHigh School, High School Diploma, High School, High School Diploma at Colonial Forge High School
English
Github Skills (12)
robocup10
c-language10
robotics10
cprogramming-language10
python10
algorithms8
algorithm8
data-structures8
data-structure8
sys8
software-design8
system-design8
Programming languages (11)
Github contributions (5)
RoboJackets/robocup-software
Sep 2014 - Jun 2018
Georgia Tech RoboJackets Software for the RoboCup Small Size League
Role in this project:
Back-end Developer
Back-end DeveloperContributions:100 commits, 17 PRs, 3 pushes in 3 years 9 months
Contributions summary:Will primarily contributed to the Georgia Tech RoboJackets software, focusing on the RoboCup Small Size League. Their commits involved merging branches, indicating integration work within the codebase. Specific changes included modifications to C++ code, Python scripts for robot behavior, and system modeling, demonstrating a focus on low-level robot control and gameplay logic. Furthermore, the user made adjustments to the robot control protocol, illustrating their involvement in the core functionality and communication aspects of the project.
roboticssmall-sizerobojacketsgeorgialeague
guyfleeman/dotfiles
Sep 2017 - Mar 2022
Contributions:23 pushes, 1 branch in 4 years 6 months
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.