main photo of George Necula

George Necula


Research Areas

Research Centers


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