Registered user since Wed 3 Jun 2020
Jeff Vaughan is a software engineer at Google, working primarily on building systems that enforce security properties for Google’s internal and public clouds. In the past, he led the compiler team at LogicBlox. Before moving to industry, Jeff worked in programming languages and security as a postdoc at UCLA and Harvard and completed his PhD at Penn.
|PLMW @ ICFP 2020||Panel discussion: Making a career in PL (even in uncertain times)|
|Show activities from other conferences|
View general profile