04/18/2019 - Read more
11/09/2006 - Thursday, November 9, 2006 at 4:30 - 5:45 Lectures in ACES 2.302; 5:45 - 7 p.m. Private reception for invited guests. The Visions of Computing Lecture Series has been created by the Department of Computer Sciences to highlight the excellence of its faculty and recognize their accomplishments. Its purpose is to provide public education about computer science, and to enhance the public appreciation of the stature of this department and its faculty. Honors and Awards: Doug Burger 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: Robert Boyer