Concepedia

Author

Steve Awodey

Carnegie Mellon UniversityORCID

Also Known As

Awodey, S., Awodey, Steve, Awodey, Steven, S. AWODEY, S. Awodey, STEVE AWODEY, Steve Awodey, s. Awodey

111

Publications

1.8K

Citations

18

H-Index

24

Concepts

All Affiliations

Carnegie Mellon UniversityIT University of CopenhagenUniversity of EdinburghUniversity of Chicago
SA

About

Steve Awodey is an author at Carnegie Mellon University specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

311

2

Language Studies

2

2

124

3

Humanities

1

1

102

4

Classics

1

1

102

5

Comparative Literature

1

1

17

Steve Awodey

×

22

Publications

915

Citations

14

H-Index

YearCitations

Page 1