и теоретической информатике.
Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США. Награждение проходит либо на американском симпозиуме
). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет.
1993 | Ласло Бабаи, Шафи Гольдвассер, Сильвио Микали, Шломо Моран и Чарльз Ракофф (Laszlo Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, Charles Rackoff) |
за разработку интерактивных систем доказательств |
1994 | Йохан Хостад (Johan Håstad) |
за доказательство экспоненциальной нижней оценки на подсчет четности при помощи булевых схем константной глубины |
1995 | Нил Иммерман, Роберт Шелепчени (Neil Immerman, Robert Szelepcsenyi) |
за теорему Иммермана — Шелепчени (теория сложности вычислений) |
1996 | Марк Джеррам, Элистер Синклер (Mark Jerrum, Alistair Sinclair) |
за исследования цепей Маркова и аппроксимацию перманента матриц |
1997 | Джозеф Хэлперн, Йорам Мозес (Joseph Halpern, Yoram Moses) |
за формальное определение понятия «знание» в распределённых средах |
1998 | Сэйносукэ Тода (Seinosuke Toda) |
за теорему Тода, которая показала связь между классами сложности PP и PH |
1999 | Питер Шор (Peter Shor) |
за алгоритм Шора для факторизации чисел за полиномиальное количество времени на квантовом компьютере |
2000 | Мойше Варди, Пьер Вольпер (Moshe Y. Vardi, Pierre Wolper) |
за исследование проверки моделей с помощью конечных автоматов |
2001 | Санджив Арора, Уриэль Фейге, Шафи Гольдвассер, Карстен Лунд, Ласло Ловас, Раджив Мотвани, Шмуель Сафра, Мадху Судан и Марио Шегеди (Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, Laszlo Lovasz, Rajeev Motwani, Shmuel Safra, Madhu Sudan, Mario Szegedy) |
за теорему PCP и её приложение |
2002 | Джеро Сенизергуес (Geraud Senizergues)
| за доказательство разрешимости эквивалентности детерминированных автоматов с магазинной памятью |
2003 | Йоав Фрейнд и Роберт Шапире (Yoav Freund, Robert Schapire) |
за алгоритм AdaBoost |
2004 | Морис Херлихи, Майк Сакс, Нир Шавит и Фотиос Захароглу (Maurice Herlihy, Mike Saks, Nir Shavit, Fotios Zaharoglou) |
за приложение топологии в теории распределённых вычислений |
2005 | Нога Алон, Йосси Матиас, Марио Шегеди (Noga Alon, Yossi Matias, Mario Szegedy) | за основополагающие исследования в области потоковых алгоритмов |
2006 | Маниндра Агравал, Нирадж Кайал, Нитин Саксена (Manindra Agrawal, Neeraj Kayal, Nitin Saxena) |
за тест Агравала — Каяла — Саксены |
2007 | Александр Разборов, Стивен Рудич (Alexander Razborov, Steven Rudich) |
за «естественные доказательства» |
2008 | Тэн Шанхуа, Дэниел Спилмэн(Shanghua Teng, Daniel Spielman]) | за «сглаженный анализ» алгоритмов |
2009 | Омер Рейнгольд, Салил Вадхан, Ави Вигдерсон (Omer Reingold, Salil Vadhan, Avi Wigderson) |
за зиг-заг-произведение графов и нахождение логарифмического по памяти детерминированного алгоритма решения задачи неориентированной st-связности |
2010 | Санджив Арора, Джозеф Митчелл (Sanjeev Arora, Joseph S. B. Mitchell) |
за открытие полиномиальной по времени приближённой схемы (PTAS) для евклидовой задачи коммивояжёра |
2011 | Йохан Хостад (Johan Håstad) |
за доказательство неаппроксимируемости для различных комбинаторных задач |
2012 | Элиас Коутсоупиас (Elias Koutsoupias), Христос Пападимитриу, Тим Роухгарден (Tim Roughgarden), Эва Тардош, Ноам Нисан (Noam Nisan), и Амир Ронен (Amir Ronen) | за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем. |
2013 | Антуан Жус (Antoine Joux), Дэн Боне (Dan Boneh), Мэттью К. Франклин (Matthew K. Franklin) |
за работы по криптографии. |
2014 | Роналд Фэгин (Ronald Fagin), Амнон Лотем (Amnon Lotem), Мони Наор (Moni Naor) |
за алгоритмы оптимальной агрегации для Middleware. |
2015 | Дэниел Спилмен (Daniel Spielman), Шангхуа Тенг (Shanghua Teng) |
за серию работ о быстром решении систем линейных уравнений. |
2016 | Стивен Брукс, Питер О'Хёрн (Peter W. O'Hearn) |
за разработку многопоточной сепарационной логики. |