r. Doug Burger, professor in the Department of Computer Sciences at The University of Texas at Austin, has received the 2006 Maurice Wilkes Award from the Association for Computing Machinery (ACM).
...
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.
...
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).
...
Simon S. Lam, professor and Regents Chair in Computer Sciences at The University of Texas at Austin, has received the Association of Computing Machinery Special Interest Group on Data Communications (SIGCOMM) Award for lifetime contribution to the field of communications networks.
...
The UTCS ACM Programming Club teams headed to Louisiana to compete in the 2002 ACM South Central USA Programming Contest on November 2nd. The three UTCS teams performed exceptionally well and placed 1st, 2nd and 3rd in this regional competition, beating the other 74 teams from Texas, Oklahoma and Louisiana.
...
Congratulations to Vicki Almstrum, who has just been elected to the ACM SIGCSE (Special Interest Group on Computer Science Education) Board of Directors.
...
