Matt Kaufmann
From Wikipedia, the free encyclopedia
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin. 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.
[edit] References
[edit] External Links
 |
This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
