Matt Kaufmann

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Matt Kaufmann
J Strother Moore, Matt Kaufmann FLoC 2006.jpg
Matt Kaufmann (right) with J Strother Moore 2006
Nationality United States
Occupation Computer scientist
Employer University of Texas at Austin
Known for Lisp programming language, The Boyer-Moore Theorem Prover
Awards ACM Software System Award

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 The Boyer-Moore Theorem Prover.[1]


External links[edit]