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.

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.