Matt Kaufmann - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 2nd-millennium birth American computer scientist Living person
rdfs:label	Matt Kaufmann
owl:sameAs	dbr:Matt_Kaufmann
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Langley_High_School_(Fairfax_County,_Virginia)
skos:prefLabel	Matt Kaufmann
clgo:award	Association for Computing Machinery
clgo:employer	University of Texas at Austin
clgo:knownFor	Lisp (programming language) Nqthm
clgo:occupation	Computer scientist
is clgo:designer of	ACL2
is clgo:developer of	ACL2

About: clgr:Matt_Kaufmann