SPLASH 2024 (series) / Kirby Linvill
Registered user since Mon 10 Jan 2022
Name:Kirby Linvill
Bio:
PhD student applying formal methods to empower developers to build systems that are more secure. Member of the CU Boulder Programming Languages and Verification (PLV) Lab. Advised by Gowtham Kaki.
Country:United States
Affiliation:University of Colorado Boulder
Personal website: https://kirby.linvill.net
GitHub: https://github.com/klinvill
Research interests:Formal Methods, Security, Static Analysis
Contributions
Using general profile