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 university, public research university in Austin, Texas, United States. Founded in 1883, it is the flagship institution of the University of Texas System. With 53,082 stud ...
, 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 University of Texas at Austin, The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string-search algorit ...
and
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boy ...
, for his work on the
Boyer-Moore Theorem Prover.
Matt Kaufman: The Boyer-Moore Theorem Prover (2005)
, Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...
, 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