Matt Kaufmann
id:
matt-kaufmann-281-1717497
title:
Matt Kaufmann
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/Matt_Kaufmann
date created:
date modified:
2022-05-13T14:16:09Z
main entity:
{"identifier":"Q6788881","url":"https://www.wikidata.org/entity/Q6788881"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/0/0a/J_Strother_Moore%2C_Matt_Kaufmann_FLoC_2006.jpg","width":640,"height":432}
fields total:
13
integrity:
15