Updated: 09/15/2017 by Computer Hope
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).