George Necula
Computer Scientist, Academic
Photo Credit ยป
78 Views
Who is George Necula?
George Ciprian Necula is a Romanian computer scientist and 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.
We need you!
Help us build the largest biographies collection on the web!
- Also known as
- George Ciprian Necula
- Nationality
- Romania
- Profession
- Education
- Carnegie Mellon University
- Politehnica University of Bucharest
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"George Necula." Biographies.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.biographies.net/people/en/george_necula>.
Powered by CITE.ME
Discuss this George Necula biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In