/
User Settings
M

Matt Kaufmann

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

160

Papers

2.8K

Citations

24

h-index

44

i10-index

Matt Kaufmann is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Logic, Reasoning, and Knowledge. The author has an h-index of 24, co-authored 136 publications.

ORCID: 0009-0004-5667-4888

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeAdvanced Topology and Set TheoryParallel Computing and Optimization Techniques

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat