Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Cory-Soda Hall Logo
photo of George Necula
   

George Necula

Professor

Research Areas

Research Centers

Teaching Schedule (Spring 2014)

Biography

George Necula is a Professor in the Computer Science Department at University of California, Berkeley. His research interests include programming languages, verification methods and security with an emphasis towards use of programming language and logic-based technologies for security and for improving software quality. George Necula received his Bachelor of Science in 1993 from Polytechnic University of Bucharest in Romania, and his PhD in Computer Science in 1998 from Carnegie Mellon University, where he developed the technique of Proof-Carrying Code, jointly with Peter Lee. George Necula is an Okawa Fellow, an Alfred P. Sloan Foundation Fellow, a recipient of the NSF Career Award, ACM SIGOPS Hall of Fame Award in 2006, and of the 2001 ACM Grace Murray Hopper Award.

Selected Publications