Name: George Ciprian Necula

Born: Unknown date in Baia Mare, Romania

  • 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).

Websites

  • George Necula at UC Berkeley