Yi Lu is a Principal Member of Technical Staff at Oracle Labs, working in the Program Analysis Group. His research interests are in the general area of programming language design and implementation, with a focus on program analysis and verification for software security and concurrency. Prior to joining Oracle Labs, he was a lecturer at the University of New South Wales after completing a PhD on type systems for object-oriented programming languages.