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.Matt Kaufman: The Boyer-Moore Theorem Prover (2005) , Association for Computing Machinery, 2005.
References
External links Matt Kaufmann homepage