George Ciprian Necula

Known for his thesis on proof-carrying code
University of California, Berkeley

Computer Scientist Software and Mathematics

Originally from Baia Mare, Romania, Necula attended the Polytechnic University of Bucharest before coming to Carnegie Mellon University in the United States to complete his Ph.D. under programming languages researcher Peter Lee. His Ph.D. thesis first describing proof-carrying code was influential as a mechanism to allow untrusted machine code to run safely without performance overhead. He joined as faculty at the University of California, Berkeley in 1998.
More recently, Necula's work has focused on open-source analysis, verification, and transformation tools for C, including C Intermediate Language (CIL), CCured, and Deputy.

Courtesy of Wikipedia


Read more

Read more