Interested Article - Премия Гёделя

sigourney
  • 2020-02-20
  • 1

Курт Гëдель в 1925 году

Премия Гёделя ( англ. Gödel Prize ) — премия в области теории вычислительных систем имени Курта Гёделя , вручаемая ежегодно организациями ACM SIGACT , ( Special Interest Group on Algorithms and Computation Theory ) и EATCS , ( European Association for Theoretical Computer Science ) за выдающиеся труды по логике и теоретической информатике .

Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США . Награждение проходит либо на американском симпозиуме , ( Symposium on Theory of Computing ), либо на европейской конференции , ( International Colloquium on Automata, Languages and Programming ). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет.

Лауреаты

Год Имя Примечания
1993 Ласло Бабаи , Шафи Гольдвассер , Сильвио Микали , Шломо Моран и за разработку .
1994 за доказательство экспоненциальной нижней оценки на подсчёт чётности при помощи булевых схем константной глубины .
1995 , за ( теория сложности вычислений ) .
1996 , за исследования цепей Маркова и аппроксимацию перманента матриц .
1997 , Йорам Мозес за формальное определение понятия «знание» в распределённых средах .
1998 за , которая показала связь между классами сложности PP и PH .
1999 Питер Шор за алгоритм Шора для факторизации чисел за полиномиальное количество времени на квантовом компьютере .
2000 Моше Варди , за исследование проверки моделей с помощью конечных автоматов .
2001 Санджив Арора , Уриэль Фейге , Шафи Гольдвассер , , Ласло Ловас , Раджив Мотвани , , Мадху Судан , за теорему PCP и её приложение .
2002 за доказательство разрешимости эквивалентности детерминированных автоматов с магазинной памятью .
2003 и за алгоритм AdaBoost .
2004 Морис Херлихи , , Нир Шавит и Фотиос Захароглу за приложение топологии в теории распределённых вычислений .
2005 Нога Алон , , за основополагающие исследования в области потоковых алгоритмов .
2006 , , за тест Агравала — Каяла — Саксены .
2007 Александр Разборов , за « » .
2008 Тэн Шанхуа , Дэниэл Спилмен за « » алгоритмов .
2009 , , Ави Вигдерсон за зигзаг-произведение графов и нахождение логарифмического по памяти детерминированного алгоритма решения задачи .
2010 Санджив Арора , Джозеф Митчелл за открытие полиномиальной по времени приближённой схемы (PTAS) для евклидовой задачи коммивояжёра .
2011 за доказательство неаппроксимируемости для различных комбинаторных задач .
2012 , Христос Пападимитриу , , Эва Тардош , , за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем .
2013 , Дэн Боне , за работы по криптографии .
2014 , , за алгоритмы оптимальной агрегации для Middleware .
2015 Дэниэл Спилмен , Тэн Шанхуа за серию работ о быстром решении систем линейных уравнений .
2016 , за разработку параллельной логики разделения .
2017 Синтия Дворк , , , Дифференциальная приватность .
2018 Одед Регев Обучение с ошибками .
2019 за новое, более простое доказательство теоремы PCP методом увеличения зазора .
2020 и за алгоритмическую версию локальной леммы Ловаса
2021 Андрей Булатов , Jin-Yi Cai, Xi Chen, Martin Dyer, David Richerby for their work on the classification of the counting complexity of constraint satisfaction problems

См. также

Примечания

  1. . European Association for Theoretical Computer Science . EATCS. Дата обращения: 29 марта 2017. 16 апреля 2019 года.
  2. . Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  3. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  4. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  5. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  6. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  7. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  8. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  9. . Дата обращения: 11 июля 2019. 22 июля 2019 года.
  10. . Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  11. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  12. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  13. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  14. . Дата обращения: 11 июля 2019. 6 августа 2020 года.
  15. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  16. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  17. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  18. . Дата обращения: 11 июля 2019. 22 апреля 2021 года.
  19. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  20. . Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  21. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  22. . Дата обращения: 11 июля 2019. 13 апреля 2021 года.
  23. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  24. . Дата обращения: 2 июля 2019. 4 ноября 2021 года.
  25. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  26. . Дата обращения: 2 июля 2019. 1 ноября 2021 года.
  27. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  28. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  29. . Дата обращения: 11 июля 2019. 12 октября 2019 года.
  30. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  31. . Дата обращения: 12 апреля 2018. 12 апреля 2018 года.
  32. . Дата обращения: 1 июля 2019. 1 ноября 2021 года.
  33. . Дата обращения: 11 июля 2019. 7 января 2021 года.
  34. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  35. . Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  36. . 2012-05-16. Архивировано из 18 июля 2013 . Дата обращения: 16 мая 2012 .
  37. . Дата обращения: 12 июля 2019. 12 июля 2019 года.
  38. 1 июня 2013 года.
  39. . Дата обращения: 12 апреля 2018. 13 апреля 2018 года.
  40. . Дата обращения: 1 июля 2019. 21 мая 2020 года.
  41. . Дата обращения: 12 июля 2019. 12 июля 2019 года.
  42. . Дата обращения: 15 января 2017. 6 февраля 2017 года.
  43. . Дата обращения: 6 мая 2019. 11 июля 2017 года.
  44. . Дата обращения: 12 апреля 2018. 5 октября 2018 года.
  45. . Дата обращения: 22 июня 2019. 22 июня 2019 года.
  46. . Дата обращения: 6 мая 2019. 28 июля 2020 года.
  47. . Дата обращения: 13 мая 2020. 16 июля 2020 года.

Ссылки

Источник —

sigourney
  • 2020-02-20
  • 1
  • Tags:

Same as Премия Гёделя

The title for the last searches