Gavin Gray
Cyber Security Analyst at Optum
Greater Minneapolis-St. Paul Area United States
Summary
🤩
Rockstar🎓
Top SchoolGavin Gray is a Cyber Security Analyst and University of Minnesota computer science graduate with nine years of experience blending defensive security work and technology development at Optum. Proficient in Python, C, C++, and Java with familiarity in assembly, JavaScript, and web technologies, he brings strong problem-solving, organization, and leadership skills to cross-functional teams. At Optum he balances hands-on security operations with participation in the Technology Development Program, demonstrating both technical rigor and growth-oriented learning. He’s contributed front-end work to an open-source Rust visualization project, implementing Elm-based browser GUI tests and JSON-backed data models—an indication of his interest in tooling that illuminates low-level behavior. Known for a hyperfocused work ethic and creative thinking, Gavin seeks roles that stretch both his technical and communication abilities.
9 years of coding experience
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at University of Minnesota
Github Skills (4)
elm10
front-end-development10
json9
html7
Programming languages (9)
Github contributions (5)
cognitive-engineering-lab/aquascope
Sep 2022 - Mar 2023
Interactive visualizations of Rust at compile-time and run-time
Role in this project:
Front-end Developer
Front-end DeveloperContributions:14 reviews, 225 commits, 90 PRs in 6 months
Contributions summary:Gavin implemented initial browser GUI tests for interactive visualizations of Rust code at compile-time and run-time using Elm. They worked on defining data structures, including a `PersonalFile` type, `Workspace` type, and associated decoders and encoders for JSON data. The user also worked on adding basic UI elements like a button, as well as defining the model, update and subscriptions for a browser application.
gavinleroy/prusti-dev
Dec 2020 - Dec 2021
A static verifier for Rust, based on the Viper verification infrastructure.
Contributions:35 pushes, 6 branches in 1 year
rustsecurityverifierinfrastructureloadtesting
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.