Hayden Stainsby
Senior Engineering Manager at HERE Technologies
Granada, Andalusia, Spain
Summary
🤩
Rockstar🎓
Top SchoolHayden Stainsby is a Senior Engineering Manager with 13 years of experience leading cross-platform and embedded software teams to deliver real-time traffic and dynamic content at HERE Technologies. He combines a strong technical background—anchored by a PhD in Mathematics and hands-on contributions to high-profile Rust projects like Cargo and Tokio—with practical delivery skills in budgeting, vendor management, and cross-team engineering leadership. Hayden prioritizes building high-performing teams through professional development, collaborative design processes, and continuous delivery, while retaining the ability to dive into complex technical problems himself. His open-source work improving SSH known-hosts handling in Cargo and enhancing panic diagnostics and testability in Tokio and tracing reflects a focus on robustness and debuggability that translates into production reliability. Based in Granada, Spain, he brings a rare blend of academic rigor and product-focused execution to large-scale, distributed systems.
13 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics, Doctor of Philosophy (Ph.D.), Mathematics at Universitat Autònoma de BarcelonaMasters of Multimedia Design, Multimedia, Masters of Multimedia Design, Multimedia at Escoles Universitàries Gimbernat i Tomàs CerdàBachelor of Digital Systems (BDigSys), Computer Science, Bachelor of Digital Systems (BDigSys), Computer Science at Monash University
English, Spanish, Catalan, German
Github Skills (20)
asynchronous10
cargo10
async10
testing10
io10
rust10
package-manager10
ssh10
test-automation10
git9
apidoc9
api9
error-handling9
open-source8
file-parsing8
Programming languages (6)
Github contributions (5)
tokio-rs/tokio
Jun 2022 - Oct 2022
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Role in this project:
Backend Developer
Backend DeveloperContributions:108 reviews, 20 commits, 43 PRs in 4 months
Contributions summary:Hayden primarily focused on enhancing the robustness of the Tokio runtime and its associated libraries. They implemented the `#[track_caller]` attribute across various public APIs within `tokio`, `tokio-stream`, `tokio-util`, and `tokio-signal` to improve debugging by accurately reporting the source location of panics. Additionally, the user added tests to verify the correct behavior of the panic locations. The commits involved modifying the code in several files related to Tokio's core runtime, time, sync, and net modules.
non-blockingasynchronousschedulingrustevent-loop
tokio-rs/tracing
Nov 2022 - Jan 2023
Application level tracing for Rust.
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:69 reviews, 23 commits, 81 PRs in 2 months
Contributions summary:Hayden primarily focused on improving the testing infrastructure and the robustness of the `tracing-mock` crate within the `tokio-rs/tracing` repository. They refactored the mock collector and subscriber to provide more flexible and accurate assertions. These changes included refactoring helper functions, differentiating mock and expectation objects and adding explicit parent assertions to allow more precise matching of spans and events. Furthermore, they added API documentation and examples to the project and refactored existing tests to use the new APIs.
rusttracinglogginglogging-librarylogging-facade
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.