J Strother Moore

E69450

American academic computer scientist person

J Strother Moore is an American computer scientist best known for his pioneering work in automated theorem proving and formal methods, including co-developing the Boyer–Moore theorem prover and the ACL2 system.

Jump to: Statements Referenced by

Statements (44)

Predicate	Object
instanceOf	American academic ⓘ computer scientist ⓘ person ⓘ
almaMater	Massachusetts Institute of Technology ⓘ
awardReceived	ACM Software System Award ⓘ Herbrand Award ⓘ surface form: Herbrand Award for Automated Reasoning
citizenship	United States of America ⓘ surface form: United States
coAuthorWith	Matt Kaufmann ⓘ Robert S. Boyer ⓘ surface form: Robert S Boyer
coDeveloperOf	ACL2 theorem proving system ⓘ surface form: ACL2 Boyer–Moore theorem prover ⓘ
coInventorOf	Boyer–Moore string-search algorithm ⓘ
degree	PhD in computer science ⓘ
developedSystem	ACL2 theorem proving system ⓘ surface form: ACL2 (A Computational Logic for Applicative Common Lisp) Boyer–Moore theorem prover ⓘ surface form: Nqthm (Boyer–Moore theorem prover)
doctoralAdvisor	Robert W Floyd ⓘ
employer	University of Texas at Austin ⓘ
familyName	Moore ⓘ
field	automated theorem proving ⓘ computer science ⓘ formal methods ⓘ
givenName	J ⓘ
hasAcademicDiscipline	mathematical logic ⓘ software verification ⓘ
hasDoctoralThesisTopic	program verification and automated reasoning ⓘ
influenced	development of industrial formal methods tools ⓘ
influencedBy	Robert W Floyd ⓘ
knownFor	ACL2 theorem proving system ⓘ Boyer–Moore string-search algorithm ⓘ Boyer–Moore theorem prover ⓘ work in automated reasoning ⓘ work in mechanical verification of programs ⓘ
language	English ⓘ
memberOf	Association for Computing Machinery ⓘ IEEE Computer Society ⓘ
name	J Strother Moore self-link ⓘ
nationality	United States of America ⓘ surface form: United States
notableContribution	industrial-scale formal verification using ACL2 ⓘ integration of decision procedures into theorem provers ⓘ
position	professor ⓘ
researchArea	formal verification ⓘ logic in computer science ⓘ theorem proving ⓘ
workInstitution	Department of Computer Science, University of Texas at Austin ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

J Strother Moore → name → J Strother Moore self-link ⓘ

Herbrand Award → notableRecipient → J Strother Moore ⓘ