George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley, whose research addresses programming languages and software engineering with a focus on software verification and formal methods. He is best known for his PhD thesis work first describing proof-carrying code, which received the 2007 SIGPLAN Most Influential POPL Paper Award. He is originally from Baia Mare, Romania.
Sources
George Necula (Wikidata)
Wikidata alias: George Ciprian Necula
George Ciprian Necula
Wikidata P166: Grace Murray Hopper Award
Wikidata P166 (award received): Grace Murray Hopper Award.
Wikidata alias: George C. Necula
George C. Necula
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.