main photo of George Necula
   

George Necula

Professor

Research Areas

Research Centers

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

   
footer