George Necula

Updated: 09/15/2017 by Computer Hope
George Necula

Name: George Ciprian Necula

Born: Unknown date in Baia Mare, Romania

Computer-related contributions

  • Romanian computer scientist and professor at the University of California, Berkeley. His research includes programming languages and software engineering, with a particular focus on software verification and formal methods.
  • Best known for his Ph.D. thesis work first describing proof-carrying code.

Honors and awards

  • SIGPLAN Most Influential POPL Paper Award (2007).