Stephen Cook
Stephen Cook publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Aerospace Engineering, on topics such as Logic, programming, and type systems, semigroups and automata theory and Logic, Reasoning, and Knowledge.
- World rank
- #16,131 of 1,633,909 ranked researchers
- Rank in Canada
- #445 of 38,960
- Works
- 55
- Citations
- 701
- Citations per work
- 12.7
What does Stephen Cook research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics40% of their works
- 2Artificial Intelligence23% of their works
- 3Aerospace Engineering6% of their works
- 4Electrical and Electronic Engineering4% of their works
- 5Astronomy and Astrophysics3% of their works
- 6Hardware and Architecture3% of their works
Research topics
Which keywords describe Stephen Cook's research?
The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Algorithmic Applications, Approximation Algorithms, Formal Languages, Formal Verification and Regular Expressions.
- Graph Theory
- Suffix Arrays
- Compression
- Computability
- Combinatorial Optimization
- Algorithmic Information Theory
- Regular Expressions
- Formal Languages
- Algorithmic Applications
- Automata
- Model Checking
- Temporal Logic
- Approximation Algorithms
- Formal Verification
- Static Analysis
- Answer Set Programming
- Complexity Theory
- Modal Logic
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Parameterized Complexity
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 21 words, with their numbers
- Model Checking153 topics
- Automata102 topics
- Temporal Logic92 topics
- Algorithmic Applications82 topics
- Approximation Algorithms82 topics
- Formal Languages61 topic
- Formal Verification61 topic
- Regular Expressions61 topic
- Static Analysis61 topic
- Algorithmic Information Theory51 topic
- Answer Set Programming51 topic
- Combinatorial Optimization51 topic
- Complexity Theory51 topic
- Computability51 topic
- Modal Logic51 topic
- Compression41 topic
- Satisfiability Modulo Theories41 topic
- Suffix Arrays41 topic
- Symbolic Model Checker41 topic
- Graph Theory31 topic
- Parameterized Complexity31 topic
Where does Stephen Cook work?
Stephen Cook's main affiliation in the publication record is University of Toronto, Canada.
How many publications and citations does Stephen Cook have?
Science Explorer counts 55 works and 701 citations for Stephen Cook, ranking #16,131 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.
Other researchers named Stephen Cook
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.