Matt Kaufmann (right) with J Strother Moore 2006
|Employer||University of Texas at Austin|
|Known for||Lisp programming language, The Boyer-Moore Theorem Prover|
|Awards||ACM Software System Award|
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 The Boyer-Moore Theorem Prover.
|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.|