About

Adrian has been an organizer of systems lunch (Fall 2006 - Spring 2007) and the security reading group (Fall 2006 - Spring 2008). More recently, he has been active in the CSGSA, serving on the Faculty Candidate Committee this year (and next year) and on the lounge committee starting Spring 2008. This past fall, he helped give practice prelims to students in SEC, and in the spring, worked on graduate admissions for the security group. Adrian is doing research in software security, specifically the design of programming languages and libraries that support writing software with security properties that are easy for a reviewer to verify. In particular, he developed a subset of Java that enforces capability security and determinism, allowing secure composition of software including the use of untrusted code. Adrian is starting to work on a secure web templating language designed to prevent cross-site scripting and SQL injection attacks.

Education

UC Berkeley

Ph.D. , Computer Science

Class of 2010

Awards & Publications