Yi Lu - Principal Researcher
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.
PhD in Computer Science, University of New South Wales, 2008. Thesis: "Types for Safe Aliasing and Effects".
Bachelor of Information Technology (Honours), Queensland University of Technology, 2002. Thesis: "An Architectural Framework to Secure XML Web Services".