Matt Kaufmann
Lua error in Module:Infobox at line 235: malformed pattern (missing ']').
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA. 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 The Boyer-Moore Theorem Prover.[1]
As of February 2016, he is recovering well from eye surgery for myopia.[citation needed]
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />External links
- Matt Kaufmann homepage
- Matt Kaufmann's publications indexed by the DBLP Bibliography Server at the University of Trier
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
- Pages with reference errors
- Articles with hCards
- Articles with unsourced statements from March 2016
- Year of birth missing (living people)
- Living people
- American computer scientists
- University of Texas at Austin faculty
- Formal methods people
- Lisp people
- Computer scientist stubs
- American computer specialist stubs
