2026 John Rushby: 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	50	5561	5406	2541	2455	137	11509

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

5561

5406

2541

2455

137

11509

Overview

John Rushby is affiliated with SRI International in the United States and has an extensive publication record primarily in computer science and engineering. Their work spans various subfields, with a particular focus on artificial intelligence, safety, risk, reliability, quality, statistics, probability, uncertainty, information systems, and philosophy. The research contributions cover both theoretical and applied aspects within these domains.

The scientist's research topics include:

Safety Systems Engineering in Autonomy
Risk and Safety Analysis
Adversarial Robustness in Machine Learning
Information and Cyber Security
Advanced Software Engineering Methodologies
Philosophy and Theoretical Science
Epistemology, Ethics, and Metaphysics

John Rushby has published multiple papers in various venues, including:

Assurance 2.0: A Manifesto, 2020, arXiv (Cornell University)
Assessing Confidence with Assurance 2.0, 2022, arXiv (Cornell University)
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP, 2024, Theory and Practice of Logic Programming
Mechanized analysis of Anselm's modal ontological argument, 2020, International Journal for Philosophy of Religion
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions, 2022, arXiv (Cornell University)

Frequent co-authors in their research include:

Robin Bloomfield
Susmit Jha
Anitha Murugesan
Joaquín Arias
Robert J. Stroud

Major publication venues where John Rushby has contributed multiple works consist of:

arXiv (Cornell University)
Theory and Practice of Logic Programming
International Journal for Philosophy of Religion
The International Review of Information Ethics

Best Publications

PVS: A Prototype Verification System

Sam Owre;John M. Rushby;Natarajan Shankar

2430
Citations
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

S. Owre;J. Rushby;N. Shankar;F. von Henke

822
Citations
PVS: Combining Specification, Proof Checking, and Model Checking

Sam Owre;S. Rajan;John M. Rushby;Natarajan Shankar

708
Citations
Design and verification of secure systems

J. M. Rushby

678
Citations
A Tutorial Introduction to PVS

Judy Crow;Sam Owre;John Rushby;Natarajan Shankar

459
Citations
Bus Architectures for Safety-Critical Embedded Systems

John M. Rushby

393
Citations
Using model checking to help discover mode confusions and other automation surprises

John Rushby

313
Citations
Formal Methods and the Certification of Critical Systems

John Rushby

296
Citations
Critical system properties: survey and taxonomy

John Rushby

256
Citations
An Overview of SAL

Saddek Bensalem;Vijay Ganesh;Yassine Lakhnech;Cesar Munoz

253
Citations
Formal Methods and their Role in the Certification of Critical Systems

John Rushby

221
Citations
Subtypes for specifications: predicate subtyping in PVS

J. Rushby;S. Owre;N. Shankar

214
Citations
A Comparison of Bus Architectures for Safety-Critical Embedded Systems

John Rushby

199
Citations
A Distributed Secure System

J.M. Rushby;B. Randell

199
Citations
An Invitation to Formal Methods

J.P. Bowen;R.W. Butler;D.L. Dill;R.L. Glass

193
Citations
Generating efficient test sets with a model checker

G. Hamon;L. de Moura;J. Rushby

150
Citations
Formal verification of algorithms for critical systems

J.M. Rushby;F. von Henke

139
Citations
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

Unknown

129
Citations
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model

P. Lincoln;J. Rushby

125
Citations
Proof of separability: A verification technique for a class of a security kernels

Unknown

122
Citations
PVS: An Experience Report.

S. Owre;J. M. Rushby;N. Shankar;D. W. J. Stringer-Calvert

121
Citations
An Operational Semantics for Stateflow

Grégoire Hamon;John M. Rushby

119
Citations

Frequent Co-Authors

Natarajan Shankar SRI International

Ashish Tiwari Microsoft (United States)

Dorsa Sadigh Stanford University

Sanjit A. Seshia University of California, Berkeley

Patrick Lincoln SRI International

Leonardo de Moura Microsoft (United States)

David Lorge Parnas McMaster University

Shmuel Katz Technion – Israel Institute of Technology

Bev Littlewood City, University of London

Carolyn L. Talcott SRI International

External Links

Wikipedia of John Rushby Personal website of John Rushby Google Scholar page

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

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to numerous related online degree programs and emerging career pathways. For students interested in expanding their technical skill set, considering an electrical engineering degree online admissions process can be a logical next step, often complementing a computer science background with multidisciplinary insights.

Those seeking faster entry into the workforce should look into quick certifications that pay well. Certifications in areas like cybersecurity, cloud computing, or data analysis can provide practical skills and increased job prospects in a matter of months.

For graduates aiming to accelerate their education journey, exploring the quickest online masters degree options can lead to faster career advancement without the extended time commitment of traditional on-campus programs.

Finally, for long-term career growth and higher earning potential, choosing one of the most worthwhile masters degrees ensures your studies align with the latest industry demands and remain relevant in a rapidly evolving tech landscape.