Matt Kaufmann
Jump to navigation
Jump to search
Matt Kaufmann | |
|---|---|
 Matt Kaufmann (right) with J Strother Moore 2006 | |
| Nationality (legal) | 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
| Authority control databases: Academics |
|---|
 | This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
Categories:
- Webarchive template wayback links
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Year of birth missing (living people)
- Living people
- American computer scientists
- University of Texas at Austin faculty
- Formal methods people
- Lisp (programming language) people
- All stub articles
- Computer scientist stubs
- American computer specialist stubs