Matt Kaufmann is a senior research scientist in the department of computer sciences at the

University of Texas at Austin The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,07 ...

, United States. He was a recipient of the 2005

ACM Software System Award The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both". It is awarded b ...

along with

Robert S. Boyer Robert Stephen Boyer is an American retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string-search algorithm, a particularly efficie ...

and

J Strother Moore J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–M ...

, for his work on the Boyer-Moore Theorem Prover.Matt Kaufman: The Boyer-Moore Theorem Prover (2005)
, Association for Computing Machinery, 2005.

References

External links

Matt Kaufmann homepage
* Year of birth missing (living people) Living people American computer scientists University of Texas at Austin faculty Formal methods people Lisp (programming language) people {{US-compu-bio-stub