11/08/2006 - AUSTIN, Texas— November 8, 2006, UTCS Chairman J Strother Moore was selected a Fellow of ACM, the Association for Computing Machinery. Read more
03/21/2006 - AUSTIN, Texas—Professors Robert Boyer and J Strother Moore and Senior Research Scientist Matt Kaufmann, all from the University of Texas at Austin Computer Sciences Department, have been awarded the 2005 Software System Award by the Association for Computing Machinery (ACM) for their work on the Boyer-Moore Theorem Prover. Read more
Subscribe to Topic: Boyer-Moore Theorem Prover