Matt_Kaufmann

Matt Kaufmann

Matt Kaufmann

American computer scientist

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]

Quick Facts Nationality, Occupation ...

References

  1. [1]
    Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine, 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.
Share this article:

This article uses material from the Wikipedia article Matt_Kaufmann, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.