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 ...