Boyer, Kaufmann and Moore awarded the 2005 ACM Software System Award for the Boyer-Moore Theorem Prover
Used by computer scientists to verify that computer systems are functioning correctly, the Boyer-Moore Theorem Prover has been under constant development and improvement since the 1970s. The latest version, known as ACL2, ensures safer and more secure software programs and hardware designs.
ACM will present the Software System Award to the honorees at the annual ACM Awards Banquet on May 20, 2006 in San Francisco.
"J, Bob and Matt bring great honor to The University of Texas at Austin and the Department of Computer Sciences," says Mary Ann Rankin, dean of the College of Natural Sciences. "We are fortunate to have such influential people in the field of computer sciences on our faculty.”
Boyer is a professor of computer science, mathematics and philosophy, and Kaufmann is a senior research scientist at the university. Moore holds the Admiral B.R. Inman Centennial Chair in Computing Theory and is chair of Computer Sciences. Boyer and Moore also received the 1991 Current Prize in Automatic Theorem Proving by the American Mathematical Society and the Herbrand Award in 1999 for their work in theorem proving.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Portfolio Program in Robotics
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct