Misplaced Pages

Matt Kaufmann

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
American computer scientist
Matt Kaufmann
Matt Kaufmann (right) with J Strother Moore 2006
NationalityAmerican
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.

References

  1. Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine, Association for Computing Machinery, 2005.

External links


P ≟ NP 

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

Stub icon

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

Categories: