Science Explorer Back to mapMap
Discussion
Researcher · Carnegie Mellon University · United States

Jeremy D. Avigad

Jeremy D. Avigad publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Theoretical Computer Science, on topics such as Computability, Logic, AI Algorithms, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

ORCID 0000-0003-1275-315X OpenAlex
World rank
#682,722
of 7,710,434 ranked researchers
Rank in United States
#231,341
of 1,627,098
Works
196
Citations
3.2k
Citations per work
16.4
h-index
28
i10-index 62Top 6% in Computational Theory and Mathematics
Jeremy D. Avigad

What does Jeremy D. Avigad research?

Jeremy D. Avigad's work is mostly in Computer Science (56%), Mathematics (19%), Arts and Humanities (5%).

Physical Sciences: 148 works · 75.4% of their workComputer Science: 111 works · 56.4% of their workComputational Theory and Mathematics: 56 works · 28.4% of their workArtificial Intelligence: 55 works · 28.0% of their workMathematics: 37 works · 19.0% of their workTheoretical Computer Science: 14 works · 7.3% of their workGeometry and Topology: 13 works · 6.5% of their workMathematical Physics: 10 works · 5.2% of their workEverything else: 39 works · 19.8% of their workSocial Sciences: 9 works · 4.8% of their workArts and Humanities: 9 works · 4.8% of their workHistory and Philosophy of Science: 9 works · 4.8% of their workTHEIR WORKJeremy D. Avigad196works
Physical Sciences75%Social Sciences5%

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
    1. Computer Science11156.4%
    2. Mathematics3719.0%
  2. Everything else3919.8%
    1. Arts and Humanities94.8%
  1. 1Computational Theory and Mathematics28% of their works
  2. 2Artificial Intelligence28% of their works
  3. 3Theoretical Computer Science7% of their works
  4. 4Geometry and Topology6% of their works
  5. 5Mathematical Physics5% of their works
  6. 6History and Philosophy of Science5% of their works

Research topics

Which keywords describe Jeremy D. Avigad's research?

The keywords of their largest research topics: Model Checking, Algorithmic Information Theory, Computability, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming and Modal Logic.

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 19 words, with their numbers
  1. Model Checking1293 topics
  2. Algorithmic Information Theory701 topic
  3. Computability701 topic
  4. Temporal Logic672 topics
  5. Formal Verification621 topic
  6. Static Analysis621 topic
  7. Answer Set Programming531 topic
  8. Modal Logic531 topic
  9. Historical Sources351 topic
  10. Mathematics Education351 topic
  11. Automata262 topics
  12. Model Theory211 topic
  13. Topological Dynamics211 topic
  14. Fuzzy Logic151 topic
  15. Residuated Lattices151 topic
  16. Satisfiability Modulo Theories141 topic
  17. Symbolic Model Checker141 topic
  18. Formal Languages121 topic
  19. Regular Expressions121 topic

Where does Jeremy D. Avigad work?

Jeremy D. Avigad's main affiliation in the publication record is Carnegie Mellon University, United States.

How many publications and citations does Jeremy D. Avigad have?

OpenAlex counts 196 works and 3,217 citations for Jeremy D. Avigad, an h-index of 28, ranking #682,722 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 Jeremy D. Avigad. 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.