Matt Kaufmann
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.