Scott Guest
Senior Software Security Compiler Engineer at NVIDIA
Oceanside, California, United States
Summary
👤
Senior🎓
Top SchoolScott Guest is a Senior Software Security Compiler Engineer with 11 years of experience applying programming languages, compilers, and formal methods to hard security problems. Currently at NVIDIA, he builds tooling to automate bug detection across compilers, drawing on prior work at Runtime Verification where he helped evolve the K framework, improved LLVM-backed execution, and led a RISC-V semantics effort. His background spans industry and research—from precision type inference and IR-level fuzzing at MathWorks to mechanizing language semantics in Agda and earning an OOPSLA Distinguished Paper Award for work on Hazel. Scott combines deep theoretical rigor with practical fuzzing and static-analysis experience, and has a track record of turning formal specifications into performant developer tools. Based in Oceanside, CA, he brings both customer-facing product experience and low-level systems expertise, including security audits that found bugs in unsafe Rust implementations.
11 years of coding experience
5 years of employment as a software developer
Bachelor's degree Computer Science (Highest Honors) Mathematics (High Honors), Bachelor's degree Computer Science (Highest Honors) Mathematics (High Honors) at University of MichiganHigh School Dual Enrollment Mathematics, High School Dual Enrollment Mathematics at Oakland UniversityHigh School Diploma, High School Diploma at Rochester Adams High School
German
Github Skills (31)
tlaplus10
dataflow-programming10
solidity10
low-level10
virtual-machine10
semantics10
eda10
translation9
tooling9
evm9
blockchain9
servant9
ethereum9
hackage9
webassembly9
Programming languages (9)
Github contributions (5)
Scott-Guest/DoNotExplode
Jan 2016 - Nov 2016
Contributions:92 pushes, 3 branches in 9 months
stronghold
Adambots-245/adambots-stronghold-2016
Jan 2016 - Apr 2023
AdamBots FIRST Stronghold repository
Contributions:71 PRs, 40 pushes, 2 branches in 7 years 3 months
stronghold
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.