2026 Fred B. Schneider: 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	71	1749	1694	890	856	273	25941

Research.com Recognitions

2017 - Fellow of the American Academy of Arts and Sciences
2011 - Member of the National Academy of Engineering For contributions to the design of trustworthy and secure computer systems.
2009 - IEEE Fellow For contributions to trustworthy computing, fault-tolerance and formal methods
1995 - ACM Fellow For work in semantics, methodology, and algorithms to support programming concurrent and distributed systems, particularly those intended for mission-critical settings.
1992 - Fellow of the American Association for the Advancement of Science (AAAS)

Overview

Fred B. Schneider is affiliated with Cornell University in the United States. Their research primarily focuses on the field of Computer Science, with contributions spanning various subfields including Artificial Intelligence, Signal Processing, Computer Networks and Communications, Information Systems, and Organic Chemistry.

The scientist's recent publications cover topics related to security, trustworthy computing, and proactive defenses in software systems. Notable papers include:

RIF: Reactive information flow labels, 2020, Journal of Computer Security
Implementing insider defenses, 2021, Communications of the ACM
Software Bill of Materials as a Proactive Defense, 2025, IEEE Security & Privacy
A Research Ecosystem for Secure Computing, 2021, arXiv (Cornell University)

Frequent coauthors in their work comprise Elisavet Kozyri, Eric H. Grosse, Lynette L. Millett, Hamed Okhravi, and Nathan Burow.

Their research is often published in venues such as the Journal of Computer Security, Communications of the ACM, IEEE Security & Privacy, and arXiv (Cornell University).

The main topics addressed in their research include:

Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Information and Cyber Security
Law, AI, and Intellectual Property
Chemical synthesis and alkaloids
Botanical Research and Applications

Fred B. Schneider has received several honors recognizing contributions to computing and engineering. These include:

Fellow of the American Academy of Arts and Sciences, 2017
Member of the National Academy of Engineering, 2011, for contributions to the design of trustworthy and secure computer systems
IEEE Fellow, 2009, for contributions to trustworthy computing, fault-tolerance, and formal methods
ACM Fellow, 1995, for work in semantics, methodology, and algorithms to support programming concurrent and distributed systems, particularly for mission-critical settings
Fellow of the American Association for the Advancement of Science (AAAS), 1992

Best Publications

Implementing fault-tolerant services using the state machine approach: a tutorial

Fred B. Schneider

3465
Citations
Enforceable security policies

Fred B. Schneider

1903
Citations
Defining Liveness

Bowen Alpern;Fred B. Schneider

1711
Citations
Fail-stop processors: an approach to designing fault-tolerant computing systems

Richard D. Schlichting;Fred B. Schneider

1140
Citations
Concepts and Notations for Concurrent Programming

Gregory R. Andrews;Fred B. Schneider

982
Citations
Recognizing Safety and Liveness

Bowen Alpern;Fred B. Schneider

843
Citations
Hypervisor-based fault tolerance

Thomas C. Bressoud;Fred B. Schneider

689
Citations
A Logical Approach to Discrete Math

David Gries;Fred B. Schneider

656
Citations
Chain replication for supporting high throughput and availability

Robbert van Renesse;Fred B. Schneider

586
Citations
The primary-backup approach

Navin Budhiraja;Keith Marzullo;Fred B. Schneider;Sam Toueg

575
Citations
COCA: A secure distributed online certification authority

Lidong Zhou;Fred B. Schneider;Robbert Van Renesse

572
Citations
SASI enforcement of security policies: a retrospective

Úlfar Erlingsson;Fred B. Schneider

539
Citations
SASI enforcement of security policies: a retrospective

U. Erlingsson;F.B. Schneider

531
Citations
Trust in Cyberspace

Fred B. Schneider

464
Citations
Software Reliability Methods

Doron A. Peled;David Gries;Fred B. Schneider

437
Citations
IRM enforcement of Java stack inspection

U. Erlingsson;F.B. Schneider

425
Citations
COCA: A Secure Distributed On-line Certification Authority

Lidong Zhou;Fred B. Schneider;Robbert Van Renesse

412
Citations
Byzantine generals in action: implementing fail-stop processors

Fred B. Schneider

390
Citations
Operating system support for mobile agents

D. Johansen;R. van Renesse;F.B. Schneider

351
Citations
Computability classes for enforcement mechanisms

Kevin W. Hamlen;Greg Morrisett;Fred B. Schneider

313
Citations
Fail-Stop Processors: An Approach to Designing Computing Systems

Richard D. Schlichting;Fred B. Schneider

0
Citations
A Theory of Graphs

David Gries;Fred B. Schneider

0
Citations

Frequent Co-Authors

David Gries Cornell University

Robbert van Renesse Cornell University

Dag Johansen University of Tromsø - The Arctic University of Norway

Keith Marzullo University of Maryland, College Park

Lidong Zhou Microsoft (United States)

Leslie Lamport Microsoft (United States)

Emin Gün Sirer Cornell University

Richard D. Schlichting United States Naval Academy

Kenneth P. Birman Cornell University

Scott D. Stoller Stony Brook University

External Links

Wikipedia of Fred B. Schneider Personal website of Fred B. Schneider Google Scholar page

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

Related Online Degrees & Career Pathways

Exploring an online degree in computer science opens doors to many exciting opportunities. Many students seek online programs that pay well, aiming for a fast track to a rewarding tech career. The tech industry is constantly evolving, leading to high demand for adaptable professionals.

One emerging area is artificial intelligence, which offers specialized study options. Pursuing an artificial intelligence degree online can deliver the advanced skills needed for innovative roles in automation, machine learning, and data analysis.

It’s important to consider future career prospects when choosing a major. According to recent studies, some of the best majors for the future focus on technology, data, and engineering—fields that offer job security and competitive salaries.

For those aiming for graduate credentials, you might also look for what's the easiest masters degree to get in tech or related areas. Balancing academic challenge with schedule flexibility makes online study a compelling choice for many working professionals and recent graduates alike.