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.
Facts
AwardGrace Murray Hopper Award 1 Connections
In Field
Source George Necula (Wikipedia)
Source George Necula (Wikipedia)
In the Other Atlases
- Also in Geography Atlas: Romania, nationality there.
Sources
1. Wikidata: George Necula
Wikidata Q5542805, class allow-list match (w-wdresolver-0926)View the Source George Necula (Wikipedia)
In Field: Programming Language Theory, Lead sentence
George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods.
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
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.