Kirby Linvill
PhD Student, Computer Science, Formal Methods And Security at University of Colorado Boulder
Denver Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolKirby Linvill is a PhD student in Computer Science at CU Boulder specializing in formal methods and security, with 11 years of experience spanning research, software engineering, and systems architecture. He focuses on making it easier for developers to build secure products and protocols by applying formal verification to protocol guarantees and building static analysis tools that catch issues before release. His background includes internships and research roles at Microsoft RiSE and RAND, plus industry experience at Accenture, Teradata, and Curative, which gives him a pragmatic perspective on stakeholder needs and production constraints. Kirby’s cross-domain experience—from biotech and solar research early in his career to enterprise platform work—helps him translate theoretical guarantees into practical developer tools. He is actively seeking the next important problem in secure systems engineering and welcomes collaborations that bridge rigorous verification with usable developer workflows. Based in the Denver metro area, he combines deep technical rigor with a developer-first mindset that emphasizes actionable, auditable security.
11 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at Davis Senior High SchoolBachelor of Science (BS), Bachelor of Science (BS) at Santa Clara UniversityDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at University of Colorado Boulder
Stackoverflow
15reputation
104reached
3answers
1question
Github Skills (124)
apache-spark10
tlc10
python10
toolbox10
hadoop10
specification10
dependent-types10
r10
big-data10
scale10
idris10
sql10
data-processing10
compiler10
wolfram-language10
Programming languages (11)
Github contributions (5)
klinvill/zab_tla
Mar 2021 - May 2021
Contributions:67 commits in 1 month
klinvill/rust-tls-proxy
Apr 2021 - May 2021
Project for network systems class to build a transport TLS proxy in Rust to encrypt unencrypted messages
Contributions:23 reviews, 54 commits, 12 PRs in 1 month
sslproxyrusttlstransport
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.