Matt Kaufmann
Jump to navigation
Jump to search
Template:Short description Script error: No such module "infobox".Script error: No such module "Check for unknown parameters".Script error: No such module "Check for clobbered parameters".Template:Wikidata image
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
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters".
External links
- Matt Kaufmann homepage
- Template:First word Matt Kaufmann at DBLP Bibliography ServerTemplate:EditAtWikidata
Template:Asbox
Script error: No such module "Article stub box".