Ryan Sullivant
Computer Science R&D at Sandia National Laboratories
United States
Summary
👤
Senior🎓
Top SchoolRyan Sullivant is a Computer Science R&D engineer with nine years of experience who brings a rare combination of deep mathematical research and practical software engineering to government-scale projects at Sandia National Laboratories. He holds a Ph.D. in Mathematics (inner model theory) and an M.S. in Computer Science, and leverages that formal reasoning background to design robust, maintainable systems and automated tooling. Ryan has applied his skills in industry—building REST and GraphQL clients to automate platform health workflows at American Express—and in open source, contributing lints to the widely used rust-clippy project that improve Rust code clarity and efficiency. A habitual learner and communicator, he has taught and led seminars, presented research multiple times, and translates complex ideas into accessible solutions for teams and users.
9 years of coding experience
6 years of employment as a software developer
The University of ArizonaUniversity of California, Irvine
Github Skills (7)
linting10
code-analysis10
rust10
testing9
algorithm7
algorithms7
git4
Programming languages (15)
Github contributions (5)
rust-lang/rust-clippy
Oct 2020 - Nov 2020
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Role in this project:
Back-end Developer
Back-end DeveloperContributions:18 reviews, 1 PR, 23 comments in 1 month
Contributions summary:Ryan primarily contributed to the `rust-clippy` repository, focusing on linting rules. Their work involved moving and creating test files related to specific lints, particularly around `find().is_some()` usage. The user also added a new lint to suggest using `contains()` instead of `find()` followed by `is_some()` on strings, improving code readability and efficiency. Furthermore, they ran formatting and reference updates to ensure code consistency.
linterlintrustlangmistakes
rsulli55/dotfiles
Oct 2017 - Nov 2022
Contributions:6 pushes, 1 branch in 5 years 1 month
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.