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.