Name Matt Kaufmann | Books Computer-aided reasoning | |
 | ||
2015 army football spring practice matt kaufmann
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 The Boyer-Moore Theorem Prover.
References
Matt Kaufmann Wikipedia(Text) CC BY-SA