George Necula
Romanian computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about C Intermediate Language?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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. He is best known for his Ph.D. thesis work first describing proof-carrying code,[1] a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.[2]
Quick Facts Nationality, Alma mater ...
George Necula | |
---|---|
Nationality | Romanian |
Alma mater | Polytechnic University of Bucharest |
Known for | Proof-carrying code |
Scientific career | |
Fields | Computer Science |
Institutions | |
Doctoral advisor | Peter Lee |
Close