"The Topological Structure of Asynchronous Computability": The 2004 Gödel Prize

Nir Shavit is a member of the Scalable Synchronization Research Group, Sun Labs Massachusetts, and Maurice Herlihy, Professor, Brown University consults for the group. The paper was published in the Journal of the ACM, Volume 46, Issue 6 (1999).

Presented annually, 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). The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his recently discovered interest in what has become the famous "P versus NP" question.

The award was presented at The 31st International Colloquium on Automata, Languages and Programming, (ICALP04), held July 12-16, 2004, in Turku, Finland. ICALP04 is organised at Turku University by the Department of Mathematics and Turku Centre for Computer Science.