Biography:Matt Kaufmann
From HandWiki
Short description: American computer scientist
Matt Kaufmann | |
|---|---|
 Matt Kaufmann (right) with J Strother Moore 2006 | |
| 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
External links
- Matt Kaufmann homepage
- {{DBLP}} template missing ID and not present in Wikidata.
 |  |
