Steve Awodey
Steve Awodey publishes mostly in Artificial Intelligence, Mathematical Physics and Computational Theory and Mathematics, on topics such as Homotopy and Cohomology in Algebraic Topology, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #1,903,145 of 7,710,434 ranked researchers
- Rank in United States
- #581,269 of 1,627,098
- Works
- 107
- Citations
- 1.9k
- Citations per work
- 17.7
What does Steve Awodey research?
Steve Awodey's work is mostly in Computer Science (35%), Mathematics (29%), Arts and Humanities (8%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences6864.0%
- Computer Science3835.4%
- Mathematics3128.6%
- Everything else2321.7%
- Social Sciences1514.3%
- Arts and Humanities87.5%
- Psychology76.8%
- 1Artificial Intelligence22% of their works
- 2Mathematical Physics16% of their works
- 3Computational Theory and Mathematics14% of their works
- 4Geometry and Topology12% of their works
- 5History and Philosophy of Science8% of their works
- 6Experimental and Cognitive Psychology7% of their works
Research topics
Which keywords describe Steve Awodey's research?
The keywords of their largest research topics: Model Checking, Modal Logic, Deformation Quantization, Poisson Manifolds, Formal Verification, Static Analysis, Answer Set Programming and Fuzzy Logic.
- Vienna Circle
- Model Theory
- Triangulated Categories
- Phenomenal Experience
- Residuated Lattices
- Fuzzy Logic
- Static Analysis
- Poisson Manifolds
- Modal Logic
- Model Checking
- Deformation Quantization
- Formal Verification
- Answer Set Programming
- Knowledge Representation
- Consciousness
- Cluster Algebras
- Logical Empiricism
- Topological Dynamics
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Model Checking602 topics
- Modal Logic452 topics
- Deformation Quantization411 topic
- Poisson Manifolds411 topic
- Formal Verification331 topic
- Static Analysis331 topic
- Answer Set Programming271 topic
- Fuzzy Logic271 topic
- Knowledge Representation271 topic
- Residuated Lattices271 topic
- Consciousness181 topic
- Phenomenal Experience181 topic
- Cluster Algebras161 topic
- Triangulated Categories161 topic
- Logical Empiricism141 topic
- Model Theory141 topic
- Topological Dynamics141 topic
- Vienna Circle141 topic
Where does Steve Awodey work?
Steve Awodey's main affiliation in the publication record is Carnegie Mellon University, United States.
How many publications and citations does Steve Awodey have?
OpenAlex counts 107 works and 1,891 citations for Steve Awodey, an h-index of 18, ranking #1,903,145 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Steve Awodey. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.