Biography:Matt Kaufmann

From HandWiki
Revision as of 00:31, 4 August 2023 by WikiG (talk | contribs) (update)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: American computer scientist
Matt Kaufmann
J Strother Moore, Matt Kaufmann FLoC 2006.jpg
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.[1]

References

  1. ↑ Matt Kaufman: The Boyer-Moore Theorem Prover (2005) , Association for Computing Machinery, 2005.

External links




Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Matt_Kaufmann&oldid=3171940"