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
03/10/2005 -
Secure Network Programming, a system designed and implemented in 1993 by Professor Simon Lam and three former graduate students in the UTCS Networking Research Lab, won the 2004 Software System Award, given annually by the Association for Computing Machinery (ACM).
The 2004 ACM Software System Award recipients consist of Professor Lam and the following UTCS alumni:
Read more
