Kirby Linvill

Registered user since Mon 10 Jan 2022

Name:Kirby Linvill
Bio:

PhD student interested in 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
Research interests:Formal Methods, Security, Static Analysis

Contributions

PLDI 2023 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile