Matt Kaufmann
| Matt Kaufmann | |
|---|---|
 Matt Kaufmann (right) with J Strother Moore 2006 | |
| Nationality | United States |
| Occupation | Computer scientist |
| Employer | University of Texas at Austin |
| Known for | Lisp programming language, The Boyer-Moore Theorem Prover |
| Awards | ACM Software System Award |
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA. 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.[1]
As of February 2016, he is recovering well from eye surgery for myopia.
References
External links
- Matt Kaufmann homepage
- Matt Kaufmann's publications indexed by the DBLP Bibliography Server at the University of Trier
This article is issued from Wikipedia - version of the Sunday, April 03, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.