Jump to content

Matt Kaufmann

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Tom.Reding (talk | contribs) at 02:09, 18 April 2018 (+{{Authority control}} (2 sources from WD), WP:GenFixes on, using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Matt Kaufmann
Matt Kaufmann (right) with J Strother Moore 2006
NationalityUnited States
OccupationComputer scientist
EmployerUniversity of Texas at Austin
Known forLisp programming language, The Boyer-Moore Theorem Prover
AwardsACM 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

  1. ^ Matt Kaufman: The Boyer-Moore Theorem Prover (2005), Association for Computing Machinery, 2005.


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Matt_Kaufmann&oldid=836991033"