LabCompass

Lawrence S. Moss

Computer Science · Indiana University

OpenAlex ORCID
Established · publishing since 1978
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsSemantic Web and OntologiesAdvanced Algebra and LogicNatural Language Processing Techniques

Publications

181

Citations

3,740

Est. group size

—

Recurring co-author estimate

Active years

49

Publishing since 1978

Research summary
AI-generated

Lawrence S. Moss works at the intersection of mathematical logic and computer science, studying how formal reasoning systems can capture the meaning of language and mathematical concepts. His work spans natural language inference (teaching computers to judge whether one statement follows from another), the algebra behind self-referential and recursive structures, and logical models of learning and knowledge. Recent projects also connect these formal tools to large language models and to visualizing mathematical dependencies.

Natural language inference and logicCoalgebra and category theoryLogics of knowledge and reasoningMathematical concept extraction with AIDescription and natural logics

Publication activity has been fairly steady over the past decade, averaging around five to six papers per year with some year-to-year variation.

Generated by claude-opus-4-8 from public bibliographic data · Jul 9, 2026

Funding
Public award records

No award with a current end date on record.

2 earlier awards
  • NSF 1156515Jun 2012 – May 2015 · $266k awarded

    REU Site: Research Experiences for Undergraduates in Mathematics in Indiana University

  • NSF 1019206Jun 2010 – Sep 2013 · $45k awarded

    North American Summer School in Logic, Language and Information (NASSLLI) at Indiana University

Matched to public NIH RePORTER and NSF records by name and institution. Awards from other agencies are not shown, and a match is not always found — this list may be incomplete.

In context
Among 649 established Computer Science PIs within our index
Citations: 3,740cohort median 1,725
h-index: 26cohort median 19
Publications / year (recent): 4.8cohort median 4.2

Typically publishes in teams of ~3 · 74% small-team papers (≤3 authors) · across 25 venues

Publication cadence
Publications per year over the last 10 years — averaging 4.8/year recently
2017: 5 publications172018: 4 publications182019: 7 publications192020: 8 publications202021: 6 publications212022: 9 publications9222023: 6 publications232024: 2 publications242025: 6 publications252026: 1 publication26
Collaborators per year
Distinct co-authors at Indiana University each year — a rough indication of whether the group around this researcher has been growing or contracting. An estimate from co-authorship, not a roster: collaborators are not necessarily lab members, and recent years can be under-counted while indexing catches up.
2017: 0 collaborators at the same institution2018: 0 collaborators at the same institution2019: 4 collaborators at the same institution2020: 3 collaborators at the same institution2021: 0 collaborators at the same institution2022: 0 collaborators at the same institution2023: 0 collaborators at the same institution2024: 2 collaborators at the same institution2025: 0 collaborators at the same institution1719212325
Recent publications
Publishes in
  • arXiv (Cornell University)×17
  • Proceedings of the AAAI Conference on Artificial Intelligence×3
  • Lecture notes in computer science×3
  • Electronic Proceedings in Theoretical Computer Science×3
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)×2
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Sep 1, 2026.

Claim or correct this profile