Robert S. Boyer

URI: https://gptkb.org/entity/Robert_S._Boyer
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Texas_at_Austin
gptkbp:awardReceived gptkb:Herbrand_Award
gptkbp:birthYear 1946
gptkbp:collaboratedWith gptkb:J_Strother_Moore
gptkbp:doctoralAdvisor gptkb:Robert_Lee_Moore
gptkbp:fieldOfWork computer science
formal methods
automated theorem proving
https://www.w3.org/2000/01/rdf-schema#label Robert S. Boyer
gptkbp:knownFor gptkb:ACL2_theorem_prover
gptkb:Boyer–Moore_string-search_algorithm
gptkb:Boyer–Moore_theorem_prover
gptkb:Nqthm_theorem_prover
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:workInstitution gptkb:University_of_Texas_at_Austin
gptkbp:bfsParent gptkb:Boyer–Moore_algorithm
gptkbp:bfsLayer 6