Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Matt_Kaufmann> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Matt_Kaufmann abstract "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.As of February 2016, he is recovering well from eye surgery for myopia.".
- Matt_Kaufmann thumbnail J_Strother_Moore,_Matt_Kaufmann_FLoC_2006.jpg?width=300.
- Matt_Kaufmann wikiPageExternalLink ~kaufmann.
- Matt_Kaufmann wikiPageID "14858148".
- Matt_Kaufmann wikiPageLength "1432".
- Matt_Kaufmann wikiPageOutDegree "13".
- Matt_Kaufmann wikiPageRevisionID "705650324".
- Matt_Kaufmann wikiPageWikiLink ACM_Software_System_Award.
- Matt_Kaufmann wikiPageWikiLink Association_for_Computing_Machinery.
- Matt_Kaufmann wikiPageWikiLink Category:American_computer_scientists.
- Matt_Kaufmann wikiPageWikiLink Category:Formal_methods_people.
- Matt_Kaufmann wikiPageWikiLink Category:Living_people.
- Matt_Kaufmann wikiPageWikiLink Category:University_of_Texas_at_Austin_faculty.
- Matt_Kaufmann wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Matt_Kaufmann wikiPageWikiLink J_Strother_Moore.
- Matt_Kaufmann wikiPageWikiLink Nqthm.
- Matt_Kaufmann wikiPageWikiLink Robert_S._Boyer.
- Matt_Kaufmann wikiPageWikiLink United_States.
- Matt_Kaufmann wikiPageWikiLink University_of_Texas_at_Austin.
- Matt_Kaufmann wikiPageWikiLink File:J_Strother_Moore,_Matt_Kaufmann_FLoC_2006.jpg.
- Matt_Kaufmann wikiPageWikiLinkText "Matt Kaufmann".
- Matt_Kaufmann name "Kaufmann, Matt".
- Matt_Kaufmann shortDescription "American computer scientist".
- Matt_Kaufmann wikiPageUsesTemplate Template:Compu-scientist-stub.
- Matt_Kaufmann wikiPageUsesTemplate Template:DBLP.
- Matt_Kaufmann wikiPageUsesTemplate Template:Persondata.
- Matt_Kaufmann wikiPageUsesTemplate Template:Reflist.
- Matt_Kaufmann wikiPageUsesTemplate Template:US-compu-bio-stub.
- Matt_Kaufmann description "American computer scientist".
- Matt_Kaufmann description "American computer scientist".
- Matt_Kaufmann subject Category:American_computer_scientists.
- Matt_Kaufmann subject Category:Formal_methods_people.
- Matt_Kaufmann subject Category:Living_people.
- Matt_Kaufmann subject Category:University_of_Texas_at_Austin_faculty.
- Matt_Kaufmann subject Category:Year_of_birth_missing_(living_people).
- Matt_Kaufmann hypernym Scientist.
- Matt_Kaufmann type Agent.
- Matt_Kaufmann type Company.
- Matt_Kaufmann type List.
- Matt_Kaufmann type Person.
- Matt_Kaufmann type Scientist.
- Matt_Kaufmann type Person.
- Matt_Kaufmann type List.
- Matt_Kaufmann type Method.
- Matt_Kaufmann type Scientist.
- Matt_Kaufmann type Agent.
- Matt_Kaufmann type NaturalPerson.
- Matt_Kaufmann type Thing.
- Matt_Kaufmann type Q215627.
- Matt_Kaufmann type Q5.
- Matt_Kaufmann type Person.
- Matt_Kaufmann comment "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.As of February 2016, he is recovering well from eye surgery for myopia.".
- Matt_Kaufmann label "Matt Kaufmann".
- Matt_Kaufmann sameAs Q6788881.
- Matt_Kaufmann sameAs m.03g_csx.
- Matt_Kaufmann sameAs Q6788881.
- Matt_Kaufmann wasDerivedFrom Matt_Kaufmann?oldid=705650324.
- Matt_Kaufmann depiction J_Strother_Moore,_Matt_Kaufmann_FLoC_2006.jpg.
- Matt_Kaufmann givenName "Matt".
- Matt_Kaufmann isPrimaryTopicOf Matt_Kaufmann.
- Matt_Kaufmann name "Kaufmann, Matt".
- Matt_Kaufmann name "Matt Kaufmann".
- Matt_Kaufmann surname "Kaufmann".