Matt Kaufmann

Matt Kaufmann (right) with [[J Strother Moore]] 2006 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. Provided by Wikipedia
1
Cover Image
Published 2010
Other Authors: '; “...Kaufmann, Matt....”
Get full text
Electronic
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Antibodies Artificial Intelligence (incl. Robotics) Artificial intelligence Computer Science Computer science Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Monoclonal antibodies Programming Languages, Compilers, Interpreters Software Engineering Software engineering