J Strother Moore

J Strother Moore

male
Fellow of the Association for Computing Machinery, Association for Computing Machinery, fellow, automated deduction, PentiumFDIVbug, Herbrand Award
J Strother Moore is a computer scientist, and is co-developer of the Boyer-Moore string search algorithm and the Boyer-Moore automated theorem...