J. Strother Moore
J. Strother Moore earned his MIT bachelor’s degree in 1970 and Edinburgh doctorate in 1973. He researches automated theorem proving and mechanical verification. With Robert Boyer, Moore coauthored the Boyer-Moore theorem prover and string-search algorithm. With Matt Kaufmann, he coauthored ACL2, which the pair maintain and develop for hardware and software verification. Moore chaired Texas’s computer science department from 2001 to 2009. Boyer, Moore and Kaufmann received the 2005 ACM Software System Award for the Boyer-Moore theorem prover.
- Works
- 208
- Citations
- 7,456
- h-index
- 34
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1970–1973
Training in computing
J. Strother Moore earned his MIT bachelor’s degree in 1970 and Edinburgh doctorate in 1973. He researches automated theorem proving and mechanical verification.
-
Research systems
Boyer-Moore and ACL2
With Robert Boyer, Moore coauthored the Boyer-Moore theorem prover and string-search algorithm. With Matt Kaufmann, he coauthored ACL2, which the pair maintain and develop for hardware and software verification.
-
2001–2009
Verification and leadership
Moore chaired Texas’s computer science department from 2001 to 2009. Boyer, Moore and Kaufmann received the 2005 ACM Software System Award for the Boyer-Moore theorem prover.
Sources and credits
Photo: Dennis Hamilton, via Wikimedia Commons. License: CC BY 2.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
