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

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

External links

Matt Kaufmann homepage
Matt Kaufmann's publications indexed by the DBLP Bibliography Server at the University of Trier