Matt Kaufmann

Matt Kaufmann (on the right) with J Strother Moore 2006

Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA. 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.^[1]

References

1. ^ Matt Kaufman: The Boyer-Moore Theorem Prover (2005), Association for Computing Machinery, 2005.

External links

• Matt Kaufmann homepage
• Matt Kaufmann bibliography in the DBLP database

Persondata
Name	Kaufmann, Matt
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death