2026 Dana Scott: Mathematics Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Mathematics	45	1412	1215	622	494	141	20536

Research.com Recognitions

2013 - Fellow of the American Mathematical Society
1994 - ACM Fellow For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.
1992 - Member of Academia Europaea
1989 - Fellow of the American Association for the Advancement of Science (AAAS)
1988 - Member of the National Academy of Sciences
1978 - Fellow of John Simon Guggenheim Memorial Foundation
1976 - A. M. Turing Award Along with Michael O. Rabin, for their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.
1972 - Fellow of the American Academy of Arts and Sciences
1964 - Fellow of Alfred P. Sloan Foundation

Overview

Dana Scott is affiliated with the University of California, Berkeley, in the United States. Their primary field of study is Computer Science, with a significant focus on Artificial Intelligence. Their work also touches on Emergency Medical Services, Research and Theory, Sociology and Political Science, and Computational Theory and Mathematics.

The research topics Dana Scott has contributed to include:

Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
Logic, programming, and type systems
Global Health Workforce Issues
Nursing education and management
Cultural Competency in Health Care
Semigroups and automata theory

Recent publications by Dana Scott cover a range of interdisciplinary subjects. These papers include:

"Computer-Supported Exploration of a Categorical Axiomatization of Modeloids," 2020, Lecture notes in computer science
"Notes on Gödel's and Scott's variants of the ontological argument," 2025, Monatshefte für Mathematik
"Articulating pathways for a diverse nursing workforce in a community college," 2023, Teaching and learning in nursing
"Interpreting Lambda Calculus in Domain-Valued Random Variables," 2021, arXiv (Cornell University)
"Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation," 2023, arXiv (Cornell University)

Dana Scott has published in several venues, with frequent contributions to:

arXiv (Cornell University)
Monatshefte für Mathematik
Teaching and learning in nursing
Lecture notes in computer science
Assessment Update

Their research collaborations involve multiple coauthors, notably:

Christoph Benzmüller
Jonas Bayer
Patricia Allen
Rita Krummen
Mandi Mauck

Dana Scott has been recognized with several awards and honors over their career, including:

Fellow of the American Mathematical Society (2013)
ACM Fellow (1994) for the joint paper that introduced nondeterministic machines
Member of Academia Europaea (1992)
Fellow of the American Association for the Advancement of Science (AAAS) (1989)
Member of the National Academy of Sciences (1988)
Fellow of John Simon Guggenheim Memorial Foundation (1978)
A. M. Turing Award (1976) alongside Michael O. Rabin for a classic paper on finite automata and nondeterministic machines
Fellow of the American Academy of Arts and Sciences (1972)
Fellow of Alfred P. Sloan Foundation (1964)

Best Publications

Finite automata and their decision problems

M. O. Rabin;D. Scott

2754
Citations
Continuous Lattices and Domains

G. Gierz;K. H. Hofmann;K. Keimel;J. D. Lawson

2387
Citations
A Compendium of Continuous Lattices

Gerhard Gierz;Karl Heinrich Hofmann;Klaus Keimel;Jimmie D. Lawson

2267
Citations
Data Types as Lattices

Dana S. Scott

1303
Citations
Domains for Denotational Semantics

Dana S. Scott

1197
Citations
Outline of a Mathematical Theory of Computation

Dana Scott

1079
Citations
Toward a mathematical semantics for computer languages

Dana Scott;Christopher Strachey

1055
Citations
Foundational aspects of theories of measurement

Dana S. Scott;Patrick Suppes

962
Citations
Measurement structures and linear inequalities

Dana Scott

642
Citations
The lattice of flow diagrams

Dana S. Scott

604
Citations
Sheaves and logic

M. P. Fourman;D. S. Scott

436
Citations
A type-theoretical alternative to ISWIM, CUCH, OWHY

Dana S. Scott

418
Citations
An Introduction to Modal Logic

E. J. Lemmon;Dana Scott;Krister Segerberg

337
Citations
Completeness and Axiomatizability in Many-Valued Logic

Dana Scott

321
Citations
Lectures on a Mathematical Theory of Computation

Dana S. Scott

318
Citations
Identity and existence in intuitionistic logic

Dana Scott

309
Citations
Measurable Cardinals and Constructible Sets

Dana Scott

274
Citations
LOGIC WITH DENUMERABLY LONG FORMULAS AND FINITE STRINGS OF QUANTIFIERS

Dana Scott;Dana Scott

267
Citations
Reduced Direct Products

T. Frayne;A. C. Morel;D. S. Scott

264
Citations
Assigning Probabilities to Logical Formulas

Dana Scott;Peter Krauss

225
Citations

Frequent Co-Authors

Lars Birkedal Aarhus University

Gordon Plotkin University of Edinburgh

Carl A. Gunter University of Illinois at Urbana-Champaign

Andre Scedrov University of Pennsylvania

Allen Newell Carnegie Mellon University

Benjamin C. Pierce University of Pennsylvania

Ugo Montanari University of Pisa

Glynn Winskel University of Cambridge

Patrick Suppes Stanford University

Gilbert Harman Princeton University

External Links

Wikipedia of Dana Scott Personal website of Dana Scott Google Scholar page

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

Related Online Degrees & Career Pathways

Studying Mathematics in the USA opens doors to diverse career opportunities. Many students complement mathematical skills with specialized knowledge through online degrees. For those interested in blending quantitative analysis with business, exploring marketing masters can be a strategic choice, offering insights into data-driven market strategies and boosting earning potential.

Additionally, aspiring professionals aiming for leadership roles often pursue accelerated business education options like 1 year MBA programs in USA. These intensive programs provide essential management skills in a condensed timeframe, ideal for math graduates looking to fast-track their careers.

Many online MBA programs are flexible with credits, allowing students to leverage prior coursework. Understanding policies about can you transfer MBA credits can save time and reduce costs, making advanced degrees more accessible.

For those focused on data and analytics, pursuing specialized data analysis programs aligns closely with mathematical foundations and meets growing industry demand. These programs equip students with practical skills in big data and predictive modeling, enhancing job prospects in tech, finance, and healthcare.