Премія Дейкстри

Премія Дейкстри (англ. Edsger W. Dijkstra Prize in Distributed Computing) премія імені Едсгера В. Дейкстри в галузі розподілених обчислень, що вручається за видатні роботи, значимість і вплив яких були помітні протягом не менше десяти років. Супроводжується грошовою винагородою розміром в $2000.[1]

Засновниками премії є організації ACM і EATCS (англ. European Association of Theoretical Computer Science), а точніше комітети симпозіумів ACM Symposium on Principles of Distributed Computing (PODC) і EATCS International Symposium on Distributed Computing (DISC). Премія Дейкстри вручається щорічно з 2000 року по черзі на конференціях організаторів. Перші три роки нагорода називалася Премія PODC за впливову публікацію (англ. PODC Influential-Paper Award).[2]

Лауреати

  • 2000 Леслі Лампорт за роботу щодо логічних годинників.
  • 2001 Майкл Фішер, Ненсі Лінч, Майкл С. Петерсон за доказ неможливості прийти до консенсусу, використовуючи асинхронну передачу інформації.
  • 2002 Едсгер Дейкстра за роботу, що ввела поняття саморегулювання.
  • 2003 Моріс Херліхі за роботу про можливість розв'язання задачі про консенсус у системах зі спільно використовуваною пам'яттю.
  • 2004 Роберт Галлагер, П’єр Хамблет, Філіп Спіра за розподілений алгоритм знаходження мінімального каркасного дерева.
  • 2005 Маршал Піз, Роберт Шостак, Леслі Лампорт, за роботу про Візантійську угоду.
  • 2006 Джон Мелло-Краммі, Майкл Л. Скотт за алгоритм взаємного виключення.
  • 2007 Синтія Дворк, Ненсі Лінч, Леррі Стокмаєр, за роботу про розв'язання задачі про консенсус у частково синхронних системах.
  • 2008 Барух Авербух, Девід Пелег) за роботу про sparse partitions.
  • 2009 Джозеф Халперн, Йорам Мозес за створення формального фреймворка для аналізу знань у розподілених системах.

Див. також

  • Список премій в інформатиці

Примітки

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.