2026 George C. Necula: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	39	9495	9221	4022	3854	121	14488

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

9495

9221

4022

3854

121

14488

Research.com Recognitions

2016 - ACM Distinguished Member
2003 - Fellow of Alfred P. Sloan Foundation
2001 - ACM Grace Murray Hopper Award For his seminal work on the concept and implementation of Proof Carrying Code, which has had a great impact on the field of programming languages and compilers and has given a new direction to applications of theorem proving to program correctness, such as safety of mobile code and component-based software.

Overview

George C. Necula is affiliated with the University of California, Berkeley in the United States. The research profile reflects work primarily associated with interdisciplinary and cross-border studies.

Their recent publication is titled Peculiarities in Crime Scene Identification of Actors and Confrontation of Statements during Migrant Smuggling Investigations, published in 2025 in the ACROSS Journal of Interdisciplinary Cross-border Studies.

Peculiarities in Crime Scene Identification of Actors and Confrontation of Statements during Migrant Smuggling Investigations (2025, ACROSS Journal of Interdisciplinary Cross-border Studies)

Frequent publication venues include:

ACROSS Journal of Interdisciplinary Cross-border Studies

The scholar does not list frequent co-authors.

Awards received by George C. Necula include:

ACM Distinguished Member (2016)
Fellow of Alfred P. Sloan Foundation (2003)
ACM Grace Murray Hopper Award (2001) - for seminal work on the concept and implementation of Proof Carrying Code, impacting programming languages, compilers, and applications of theorem proving to program correctness, including the safety of mobile code and component-based software.

Best Publications

Proof-carrying code

George C. Necula

2793
Citations
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

George C. Necula;Scott McPeak;Shree Prakash Rahul;Westley Weimer

1357
Citations
CCured: type-safe retrofitting of legacy code

George C. Necula;Scott McPeak;Westley Weimer

910
Citations
Safe kernel extensions without run-time checking

George C. Necula;Peter Lee

817
Citations
Translation validation for an optimizing compiler

George C. Necula

649
Citations
CCured: type-safe retrofitting of legacy code

Unknown

628
Citations
XFI: software guards for system address spaces

Úlfar Erlingsson;Martín Abadi;Michael Vrable;Mihai Budiu

533
Citations
CCured: type-safe retrofitting of legacy software

George C. Necula;Jeremy Condit;Matthew Harren;Scott McPeak

502
Citations
The design and implementation of a certifying compiler

George C. Necula;Peter Lee

484
Citations
Guided GUI testing of android apps with minimal restart and approximate learning

Wontae Choi;George Necula;Koushik Sen

457
Citations
Capriccio: scalable threads for internet services

Rob von Behren;Jeremy Condit;Feng Zhou;George C. Necula

412
Citations
Safe, Untrusted Agents Using Proof-Carrying Code

George C. Necula;Peter Lee

360
Citations
Mining temporal specifications for error detection

Westley Weimer;George C. Necula

330
Citations
Compiling with proofs

George Ciprian Necula;Peter Lee

315
Citations
A certifying compiler for Java

Christopher Colby;Peter Lee;George C. Necula;Fred Blau

286
Citations
Temporal-Safety Proofs for Systems Code

Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;George C. Necula

239
Citations
CCured in the real world

Jeremy Condit;Matthew Harren;Scott McPeak;George C. Necula

239
Citations
SafeDrive: safe and recoverable extensions using language-based techniques

Feng Zhou;Jeremy Condit;Zachary Anderson;Ilya Bagrak

236
Citations
Dependent types for low-level programming

Jeremy Condit;Matthew Harren;Zachary Anderson

223
Citations
CCured in the real world

Unknown

190
Citations
Efficient representation and validation of proofs

G.C. Necula;P. Lee

184
Citations
Temporal-safety proofs for systems code

Thomas A. Henzinger;George C. Necula;Ranjit Jhala;Gregoire Sutre

50
Citations

Frequent Co-Authors

Peter Lee Carnegie Mellon University

Koushik Sen University of California, Berkeley

Sumit Gulwani Microsoft (United States)

Westley Weimer University of Michigan–Ann Arbor

Thomas A. Henzinger Institute of Science and Technology Austria

Eric Brewer University of California, Berkeley

Alex Aiken Stanford University

Ashish Tiwari Microsoft (United States)

Ulfar Erlingsson Lacework

Ranjit Jhala University of California, San Diego

External Links

Wikipedia of George C. Necula Personal website of George C. Necula Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science opens doors to a wide range of educational and career prospects in the USA. Many students today are seeking practical options like short degrees that pay well, which can fast-track their entry into high-demand tech fields without a lengthy commitment.

As technology evolves rapidly, artificial intelligence has emerged as a leading area of study. For those interested in cutting-edge innovation, there are ai degrees available online, offering affordable pathways toward a career in machine learning, robotics, or data science.

Not sure which direction to take? Researching the latest and most in-demand majors in college can help you make an informed decision, whether you are interested in software development, systems analysis, or other tech careers.

For those looking to advance their skills further, pursuing easy masters degrees online can provide greater flexibility and specialization. This can enhance your employability, open leadership opportunities, and help you excel in the evolving digital workforce.