J Strother Moore

URI: https://gptkb.org/entity/J_Strother_Moore
GPTKB entity
Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:Massachusetts_Institute_of_Technology
gptkbp:awardReceived gptkb:ACM_Software_System_Award
gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science
gptkb:Fellow_of_the_Association_for_Computing_Machinery
gptkb:Herbrand_Award
gptkbp:birthYear 1941
gptkbp:collaboratedWith gptkb:Robert_S._Boyer
gptkbp:doctoralAdvisor gptkb:Marvin_Minsky
gptkbp:fieldOfWork computer science
automated theorem proving
formal verification
https://www.w3.org/2000/01/rdf-schema#label J Strother Moore
gptkbp:knownFor gptkb:ACL2_theorem_prover
gptkb:Boyer–Moore_majority_vote_algorithm
gptkb:Boyer–Moore_string-search_algorithm
formal methods
automated reasoning
gptkbp:nationality gptkb:American
gptkbp:notableStudent gptkb:Matt_Kaufmann
gptkbp:occupation gptkb:professor
gptkb:researchers
author
gptkbp:workInstitution gptkb:SRI_International
gptkb:University_of_Texas_at_Austin
gptkbp:bfsParent gptkb:Boyer–Moore_algorithm
gptkbp:bfsLayer 6