George Necula
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.
George Necula | |
|---|---|
George Necula in Berkeley in 2010. | |
| Nationality | Romanian |
| Alma mater | Polytechnic University of Bucharest |
| Known for | Proof-carrying code |
| Scientific career | |
| Fields | Computer Science |
| Institutions | |
| Doctoral advisor | Peter Lee |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.