Dana Scott
Dana Scott publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, programming, and type systems, Advanced Algebra and Logic and Logic, Reasoning, and Knowledge.
- World rank
- #12,105 of 1,633,909 ranked researchers
- Rank in United States
- #5,855 of 358,040
- Works
- 53
- Citations
- 615
- Citations per work
- 11.6
What does Dana Scott research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence40% of their works
- 2Computational Theory and Mathematics30% of their works
- 3Geometry and Topology6% of their works
- 4Information Systems2% of their works
- 5Aerospace Engineering2% of their works
- 6Strategy and Management2% of their works
Research topics
Which keywords describe Dana Scott's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Formal Verification, Fuzzy Logic, Residuated Lattices, Static Analysis and Answer Set Programming.
- Education
- Model Theory
- Automata
- Ontology
- Algorithmic Information Theory
- Answer Set Programming
- Residuated Lattices
- Formal Verification
- Description Logics
- Model Checking
- Knowledge Representation
- Fuzzy Logic
- Static Analysis
- Modal Logic
- Computability
- Semantic Web
- Formal Languages
- Topological Dynamics
- Robotics Programming
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 19 words, with their numbers
- Model Checking152 topics
- Description Logics102 topics
- Knowledge Representation102 topics
- Formal Verification81 topic
- Fuzzy Logic81 topic
- Residuated Lattices81 topic
- Static Analysis81 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Algorithmic Information Theory51 topic
- Computability51 topic
- Ontology31 topic
- Semantic Web31 topic
- Automata21 topic
- Formal Languages21 topic
- Model Theory21 topic
- Topological Dynamics21 topic
- Education11 topic
- Robotics Programming11 topic
Where does Dana Scott work?
Dana Scott's main affiliation in the publication record is Carnegie Mellon University, United States.
How many publications and citations does Dana Scott have?
Science Explorer counts 53 works and 615 citations for Dana Scott, ranking #12,105 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.