Registered user since Mon 10 Jan 2022
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.
Affiliation:University of Colorado Boulder
Personal website: https://kirby.linvill.net
Research interests:Formal Methods, Security, Static Analysis
Using general profile