Question 1

What does Steve Awodey research?

Accepted Answer

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.

Question 2

Which keywords describe Steve Awodey's research?

Accepted Answer

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.

Question 3

Where does Steve Awodey work?

Accepted Answer

Steve Awodey's main affiliation in the publication record is Carnegie Mellon University, United States.

Question 4

How many publications and citations does Steve Awodey have?

Accepted Answer

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.

Question 5

Is Steve Awodey's h-index high?

Accepted Answer

An h-index of 18 is at or above that of 86% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 16%.