Matt Kaufmann

Matt Kaufmann
Matt Kaufmann
	Matt Kaufmann (right) with J Strother Moore 2006
Occupation	Computer scientist
Employer	University of Texas at Austin
Known for	Lisp programming language, The Boyer-Moore Theorem Prover
Awards	ACM Software System Award

Last updated November 14, 2025

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.^[1]

References

↑ Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine , Association for Computing Machinery, 2005.

External links

Matt Kaufmann homepage
Matt Kaufmann at DBLP Bibliography Server

P ≟ NP

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine , Association for Computing Machinery, 2005.

[1]