About Matt Kaufmann
Matt Kaufmann was an American computer scientist and engineer, known for Lisp programming language and Nqthm.
Matt Kaufmann is a senior research scientist in the department of computer sciences at the University of Texas at Austin, United States. He was a recipient of the 2005 ACM Software System Award along with Robert S. Boyer and J Strother Moore, for his work on the Boyer-Moore Theorem Prover.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Frequently asked questions
Who was Matt Kaufmann?
American computer scientist
What was Matt Kaufmann's occupation?
Matt Kaufmann was a computer scientist and engineer.
What was Matt Kaufmann known for?
Matt Kaufmann was known for Lisp programming language and Nqthm.
What nationality was Matt Kaufmann?
Matt Kaufmann was American.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Matt Kaufmann. https://biography.guide/matt-kaufmann/
MLA: "Matt Kaufmann." Biography.guide, https://biography.guide/matt-kaufmann/.
Chicago: "Matt Kaufmann." Biography.guide. https://biography.guide/matt-kaufmann/.
Data last updated: 2026-09-22 · Spot an error? Report a correction.
Page generated 2026-09-27 05:20 UTC