George Necula

George Necula
George Necula in Berkeley in 2010.
NationalityRomanian
Alma materPolytechnic University of Bucharest
Known forProof-carrying code
Scientific career
FieldsComputer Science
InstitutionsGoogle
Doctoral advisorPeter Lee

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, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.