Русская Википедия:Премия Гёделя

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

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

Лауреаты

Год	Имя	Примечания
1993	Ласло Бабаи, Шафи Гольдвассер, Сильвио Микали, Шломо Моран и Шаблон:Iw	за разработку Шаблон:Iw^[2]^[3].
1994	Шаблон:Iw	за доказательство экспоненциальной нижней оценки на подсчёт чётности при помощи булевых схем константной глубины^[4]^[5].
1995	Шаблон:Iw, Шаблон:Iw	за Шаблон:Iw (теория сложности вычислений)^[6]^[7].
1996	Шаблон:Iw, Шаблон:Iw	за исследования цепей Маркова и аппроксимацию перманента матриц^[8]^[9].
1997	Шаблон:Iw, Йорам Мозес	за формальное определение понятия «знание» в распределённых средах^[10]^[11].
1998	Шаблон:Iw	за Шаблон:Iw, которая показала связь между классами сложности PP и PH^[12]^[13].
1999	Питер Шор	за алгоритм Шора для факторизации чисел за полиномиальное количество времени на квантовом компьютере^[14]^[15].
2000	Моше Варди, Шаблон:Iw	за исследование проверки моделей с помощью конечных автоматов^[16]^[17].
2001	Санджив Арора, Уриэль Фейге, Шафи Гольдвассер, Шаблон:Iw, Ласло Ловас, Раджив Мотвани, Шаблон:Iw, Мадху Судан, Шаблон:Iw	за теорему PCP и её приложение^[18]^[19].
2002	Шаблон:Iw	за доказательство разрешимости эквивалентности детерминированных автоматов с магазинной памятью^[20]^[21].
2003	Шаблон:Iw и Шаблон:Iw	за алгоритм AdaBoost^[22]^[23].
2004	Морис Херлихи, Шаблон:Iw, Нир Шавит и Фотиос Захароглу	за приложение топологии в теории распределённых вычислений^[24]^[25].
2005	Нога Алон, Шаблон:Iw, Шаблон:Iw	за основополагающие исследования в области потоковых алгоритмов^[26]^[27].
2006	Шаблон:Iw, Шаблон:Iw, Шаблон:Iw	за тест Агравала — Каяла — Саксены^[28]^[29].
2007	Александр Разборов, Шаблон:Iw	за «естественные доказательства»^[30]^[31].
2008	Тэн Шанхуа, Дэниэл Спилмен	за «сглаженный анализ» алгоритмов^[32].
2009	Шаблон:Iw, Шаблон:Iw, Ави Вигдерсон	за зигзаг-произведение графов и нахождение логарифмического по памяти детерминированного алгоритма решения задачи en (st-connectivity)^[33].
2010	Санджив Арора, Джозеф Митчелл	за открытие полиномиальной по времени приближённой схемы (PTAS) для евклидовой задачи коммивояжёра^[34].
2011	Шаблон:Iw	за доказательство неаппроксимируемости для различных комбинаторных задач^[35].
2012	Шаблон:Iw, Христос Пападимитриу, Шаблон:Iw, Эва Тардош, Шаблон:Iw, Шаблон:Iw	за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем^[36].
2013	Шаблон:Iw, Дэн Боне, Шаблон:Iw	за работы по криптографии^[37]^[38].
2014	Шаблон:Iw, Шаблон:Iw, Шаблон:Iw	за алгоритмы оптимальной агрегации для Middleware^[39].
2015	Дэниэл Спилмен, Тэн Шанхуа	за серию работ о быстром решении систем линейных уравнений^[40]^[41].
2016	Шаблон:Iw, Шаблон:Iw	за разработку параллельной логики разделения^[42].
2017	Синтия Дворк, Шаблон:Iw, Шаблон:Iw, Шаблон:Iw	Дифференциальная приватность^[43].
2018	Шаблон:Iw	Обучение с ошибками^[44].
2019	Шаблон:Iw^[45]	за новое, более простое доказательство теоремы PCP методом усиления щелей^[46].
2020	Шаблон:Iw и Шаблон:Iw	за алгоритмическую версию локальной леммы Ловаса^[47]
2021	Андрей Булатов, Jin-Yi Cai, Xi Chen, Martin Dyer, David Richerby	for their work on the classification of the counting complexity of constraint satisfaction problems

См. также

Примечания

Шаблон:Примечания

Ссылки

ACM SIGACT — Gödel Prize Шаблон:Wayback Шаблон:Ref-en
Gödel Prize (together with ACM SIGACT) Шаблон:Wayback Премия Гёделя на сайте EATCS Шаблон:Ref-en

Шаблон:Лауреаты премии Гёделя Шаблон:ВС

[Godël2017-1] Шаблон:Cite web

[2] Шаблон:Cite web

[3] Шаблон:Cite web

[4] Шаблон:Cite web

[5] Шаблон:Cite web

[6] Шаблон:Cite web

[7] Шаблон:Cite web

[8] Шаблон:Cite web

[9] Шаблон:Cite web

[10] Шаблон:Cite web

[11] Шаблон:Cite web

[12] Шаблон:Cite web

[13] Шаблон:Cite web

[14] Шаблон:Cite web

[15] Шаблон:Cite web

[16] Шаблон:Cite web

[17] Шаблон:Cite web

[18] Шаблон:Cite web

[19] Шаблон:Cite web

[20] Шаблон:Cite web

[21] Шаблон:Cite web

[22] Шаблон:Cite web

[23] Шаблон:Cite web

[24] Шаблон:Cite web

[25] Шаблон:Cite web

[26] Шаблон:Cite web

[27] Шаблон:Cite web

[28] Шаблон:Cite web

[29] Шаблон:Cite web

[30] Шаблон:Cite web

[31] Шаблон:Cite web

[32] Шаблон:Cite web

[33] Шаблон:Cite web

[34] Шаблон:Cite web

[35] Шаблон:Cite web

[sigact-2012-36] Шаблон:Cite news

[37] Шаблон:Cite web

[38] ACM Group Presents Gödel Prize for Advances in Cryptography — Association for Computing Machinery Шаблон:Webarchive

[39] Шаблон:Cite web

[40] Шаблон:Cite web

[41] Шаблон:Cite web

[42] Шаблон:Cite web

[43] Шаблон:Cite web

[44] Шаблон:Cite web

[45] Шаблон:Cite web

[46] Шаблон:Cite web

[47] Шаблон:Cite web

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Русская Википедия:Премия Гёделя

Содержание

Лауреаты

См. также

Примечания

Ссылки

Навигация

Действия на странице

Действия на странице

Персональные инструменты

Навигация

Поиск

Инструменты