J Strother Moore

J Strother Moore

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

J. Alan Robinson

male, 79 years old
Journal editor, Syracuse University, automated reasoning, Formal methods, expatriate in the United States, logic programming…HerbrandAward
J. Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University,...
Peter Andrews

Peter Andrews

male, 71 years old
Princeton University, HerbrandAward, automated theorem prover, tps, American, Carnegie Mellon University
Peter B. Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania....