Matt Kaufmann
Matt Kaufmann | |
---|---|
Nationality | American |
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 Boyer-Moore Theorem Prover.[1]
References[]
- ^ Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine, Association for Computing Machinery, 2005.
External links[]
- Matt Kaufmann homepage
- Matt Kaufmann at DBLP Bibliography Server
Categories:
- Living people
- American computer scientists
- University of Texas at Austin faculty
- Formal methods people
- Lisp (programming language) people
- Computer scientist stubs
- American computer specialist stubs