Categories
  • American computer scientists
  • Formal methods people
    •   Encyclosphere.org ENCYCLOREADER
      supported by EncyclosphereKSF

    Matt Kaufmann

    Topic: Biography

     From Handwiki - Reading time: 1 min
    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"
    This article is licensed under CC BY-SA 3.0.
    Original source: https://handwiki.org/wiki/Matt Kaufmann
    Status: article is cached
    Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF