Loading ...
Sorry, an error occurred while loading the content.

[My Computational Complexity Web Log] Gödel Prize

Expand Messages
  • Lance Fortnow
    From the PODC mailing list via Harry Buhrman. Usually the winners are kept secret until the ICALP or STOC conference but the PODC mailing list has already
    Message 1 of 1 , Apr 25, 2004
    • 0 Attachment
      From the PODC mailing list via Harry Buhrman. Usually the winners are kept secret until the ICALP or STOC conference but the PODC mailing list has already broken the news.
      It has been recently announced that this year's winners of the Gödel Prize are
      • Maurice Herlihy and Nir Shavit for their paper "The topological structure of asynchronous computability" (J. ACM, 1999), and
      • Mike Saks and Fotios Zaharoglou for their paper "Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge" (SIAM J. Computing, 2000).

      As we all know, the result was initially published simultaneously in STOC 1993 also by Eli Gafni and Liz Borowski, but the Gödel Prize is awarded only to journal articles.

      Congratulations to the winners!

      Note that for the second time, the Gödel's Prize honors a core PODC topic (in 1997, Joe Halpern and Yoram Moses won the prize). This is a sign both of the scientific quality of the PODC community, as well as the respect it wins in the theoretical CS world at large.

      In case you are counting, that's Complexity 5, PODC 2.

      --
      Posted by Lance Fortnow to My Computational Complexity Web Log at 4/25/2004 06:53:23 AM
    Your message has been successfully submitted and would be delivered to recipients shortly.