Maurice Herlihy has won the Gödel Prize for the year 2004 for his paper "The Topological Structure of Asynchronous Computability" (coauthored with Nur Shavit) (JACM 46, 6 (1999)). Other winners were Michael Saks and Fotios Zaharoglou, "Wait-Free k-Set Agreement Is Impossible: the Topology of Public Knowledge" (SIAM J. Computing 29, 5 (2000)).

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Special Interest Group on Algorithms and Computing Theory of the Association of Computing Machinery (ACM-SIGACT ...

We're delighted to report that Prof. Anna Lysyanskaya has been awarded one of NSF's prestigious CAREER grants. These grants are designed, NSF says, to "recognize and support the early career-development activities of those teacher-scholars who are most likely to become the academic leaders of the 21st century". CAREER awardees are "selected on the basis of creative career-development plans that effectively integrate research and education within the context of the mission of their organization" and "build a firm foundation for a lifetime of integrated contributions to research and education." Congratulations, Anna!

Anna summarizes ...