Yi Lu

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".