Просмотр кода страницы Премия Канеллакиса

'''Премия Париса Канеллакиса за теоретические и практические достижения''' ({{lang-en|Paris Kanellakis Theory and Practice Award}}) — ежегодная научная премия [[Ассоциация вычислительной техники|Ассоциации вычислительной техники]], вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие [[Информационные технологии|информационных технологий]]<ref name=ACM-PCKA/>. Учреждена в [[1996 год]]у в память о [[Канеллакис, Парис|Парисе Канеллакисе]], [[Греки в США|греко-американском]] учёном в области информатики, погибшем вместе с семьёй в [[Катастрофа Boeing 757 под Кали|авиакатастрофе в Колумбии в 1995 году]]<ref name=BROWN-NEWS-award/>. Лауреатам вручается денежная премия в размере в $10 тыс., субсидируемая родителями Канеллакиса, и несколькими тематическими группами ACM ([[SIGACT]], {{iw|SIGDA}}, [[SIGMOD]] и {{iw|SIGPLAN}})<ref name=ACM-SPF/> и индивидуальные спонсоры<ref name=ACM-PCKA/>.

== Награждённые ==
{| class="wikitable sortable"
! width=5%| Год
! width=30% class="unsortable"| Лауреат
! width=70% class="unsortable"| Обоснование награды
|-bgcolor=#ffffff
! 1996
| [[Адлеман, Леонард Макс|Леонард Макс Адлеман]], [[Диффи, Уитфилд|Уитфилд Диффи]], [[Хеллман, Мартин|Мартин Хеллман]], [[Меркл, Ральф|Ральф Чарльз Меркл]], [[Ривест, Рональд Линн|Рональд Линн Ривест]] и [[Шамир, Ади]]<ref name=ACM-PCKA-96/>
| «За концепцию и первую эффективную реализацию [[Криптосистема с открытым ключом|криптосистем с открытым ключом]]».
|-bgcolor=#ffffff
! 1997
| [[Лемпель, Авраам|Абрахам Лемпель]] и [[Зив, Яаков|Якоб Зив]]<ref name=ACM-PCKA-97/>
| «за построение наиболее эффективных для конечных кодирующих систем [[алгоритм]]ов [[сжатие без потерь|сжатия без потерь]] [[LZ77]]».
|-bgcolor=#ffffff
! 1998
| {{нп2|Брайнт, Рэндел|Рэндел Брайнт|en|Randal Bryant}}, [[Кларк, Эдмунд Мельсон|Эдмунд Кларк]], [[Эмерсон, Эрнест Аллен|Эрнест Аллен Эмерсон]] и {{iw|Макмиллан, Кеннет (учёный)|Кеннет Макмиллан|de|Kenneth L. McMillan}}<ref name=ACM-PCKA-98/>
| «за [[Проверка моделей|метод автоматической формальной верификации систем]], широко используемый в производстве компьютеров».
|-bgcolor=#ffffff
! 1999
| {{iw|Слитор, Дэниел|Дэниел Слитор|en|Daniel Sleator}}, [[Тарьян, Роберт|Роберт Тарьян]]<ref name=ACM-PCKA-99/>
| «за структуру [[Расширяющееся дерево|расширяющегося дерева]] — одну из наиболее широко используемых [[Структура данных|структур данных]], изобретённых в последние 20 лет».
|-bgcolor=#ffffff
! 2000
| [[Кармаркар, Нарендра|Нарендра Кармаркар]]<ref name=ACM-PCKA-00/>
| «за разработку [[Метод внутренней точки|метода внутренней точки]] для [[Линейное программирование|линейного программирования]], который имеет [[Класс P|полиномиальную сложность]]; а также за реализацию этого метода, показывающую его практическую эффективность».
|-bgcolor=#ffffff
! 2001
| [[Майерс, Юджин|Юджин Майерс]]<ref name=ACM-PCKA-01/>
| «за вклад в расшифровку [[Проект «Геном человека»|генома человека]], полного состава [[ген]]ов [[Дезоксирибонуклеиновая кислота|ДНК]]».
|-bgcolor=#ffffff
! 2002
| {{нп2|Фрашанек, Петер|Петр Франашек|en|Peter Franaszek}}<ref name=ACM-PCKA-02/>
| «за плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные».
|-bgcolor=#ffffff
! 2003
| [[Миллер, Гари|Гари Миллер]], [[Рабин, Михаэль Ошер|Михаэль Ошер Рабин]], [[Соловей, Роберт|Роберт Соловей]] и [[Штрассен, Фолькер|Фолькер Штрассен]]<ref name=ACM-PCKA-03/>
| «за вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов [[Тест простоты|проверки простоты]] — [[Тест Соловея — Штрассена|Соловея — Штрассена]] и [[Тест Миллера — Рабина|Миллера — Рабина]]».
|-bgcolor=#ffffff
! 2004
| {{нп2|Фройнд, Йоав|Йоав Фройнд|en|Yoav Freund}} и {{нп2|Шапире, Роберт|Роберт Шапире|en|Robert Schapire}}<ref name=ACM-PCKA-04/>
| «за разработку и внедрение алгоритма [[Машинное обучение|машинного обучения]] [[AdaBoost]], который значительно снижает ошибку распознавания при [[Анализ данных|анализе данных]], [[Фильтрация электронной почты|фильтрации электронной почты]], [[Оптическое распознавание символов|оптическом распознавании символов]] и в других приложениях».
|-bgcolor=#ffffff
! 2005
| {{нп2|Хольцманн, Джерард|Джерард Хольцманн|en|Gerard J. Holzmann}}, {{нп2|Куршан, Роберт|Роберт Куршан|de|Robert Kurshan}}, [[Варди, Моше|Моше Варди]] и {{нп2|Вольпе, Пьер|Пьер Вольпе|en|Pierre Wolper}}<ref name=ACM-PCKA-05/>
| «За вклад в инструментарий [[Формальная верификация|формальной верификации]] программного и аппаратного обеспечения компьютеров».
|-bgcolor=#ffffff
! 2006
| {{нп2|Брайтон, Роберт|Роберт Брайтон|de|Robert Brayton}}<ref name=ACM-PCKA-06/>
| «за инновационный вклад в синтез логики [[Электроника|электронных систем]], который ускорил проектирование в [[Автоматизация проектирования электроники|EDA]]-индустрии».
|-bgcolor=#ffffff
! 2007
| [[Бухбергер, Бруно|Бруно Бухбергер]]<ref name=ACM-PCKA-07/>
| «за алгоритм построения [[Базис Грёбнера|базиса Грёбнера]], который играет ключевую роль в [[Система компьютерной алгебры|компьютерной алгебре]] и широко используется в науке и технике».
|-bgcolor=#ffffff
! 2008
| {{нп2|Кортес, Коринна|Коринна Кортес|en|Corinna Cortes}} и [[Вапник, Владимир Наумович|Владимир Вапник]]<ref name=ACM-PCKA-08/>
| «за разработку высокоэффективного алгоритма распознавания с помощью [[Метод опорных векторов|метода опорных векторов]], интегрированного множества однотипных методов [[Обучение с учителем|обучения с учителем]] для [[Задача классификации|задачи классификации]] и [[Регрессионный анализ|регрессии]], который является наиболее часто используемым методом [[Машинное обучение|машинного обучения]] и широко применяется на практике».
|-bgcolor=#ffffff
! 2009
| {{нп2|Белларе, Михир|Михир Белларе|en|Mihir Bellare}} и {{нп2|Рогавэй, Филлип|Филлип Рогавэй|en|Phillip Rogaway}}<ref name=ACM-PCKA-09/>
| «за разработку систем {{iw|доказуемая безопасность|доказуемой безопасности|en|provable security}}, высококачественной и недорогой [[Криптография|криптографии]] — ключевого компонента безопасности Интернета».
|-bgcolor=#ffffff
! 2010
| {{нп2|Мельхорн, Курт|Курт Мельхорн|en|Kurt Mehlhorn}}<ref name=ACM-PCKA-10/>
| «за фундаментальный вклад в [[Разработка алгоритмов|разработку алгоритмов]], составивших основу библиотеки {{iw|LEDA|||Library of Efficient Data types and Algorithms}}».
|-bgcolor=#ffffff
! 2011
| {{нп2|Самет, Ханан|Ханан Самет|en|Hanan Samet}}<ref name=ACM-PCKA-11/>
| «за исследование задач сортировки [[Дерево квадрантов|дерева квадрантов]] и других многомерных пространственных структур [[Структура данных|структур данных]]».
|-bgcolor=#ffffff
! 2012
| {{нп2|Бродер, Андрей|Андрей Бродер|en|Andrei Broder}}, {{нп2|Чарикар, Мозес|Мозес Чарикар|en|Moses Charikar}}, {{нп2|Индюк, Пётр|Пётр Индюк|en|Piotr Indyk}}
| «за прорывную работу над [[Locality-sensitive hashing|локально-чувствительным хешированием]], которая оказала большое влияние на многие области».
|-bgcolor=#ffffff
! 2013
| {{нп2|Блюмоф, Роберт|Роберт Блюмоф|de|Robert D. Blumofe}}, [[Лейзерсон, Чарльз Эрик|Чарльз Эрик Лейзерсон]]
| «за вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и [[Cilk]]».
|-bgcolor=#ffffff
! 2014
| {{нп2|Деммел, Джеймс|Джеймс Деммел|en|James Demmel}}
| «за работу над библиотеками линейной алгебры, в том числе [[LAPACK]]».
|-bgcolor=#ffffff
! 2015
| {{нп2|Лаби, Майкл|Майкл Лаби|en|Michael Luby}}
| «за вклад в коды коррекции ошибок».
|-bgcolor=#ffffff
! 2016
| {{нп5|Amos Fiat}}, {{нп5|Moni Naor}}
| {{oq||«For ground-breaking contributions to broadcast encryption and piracy tracking, laying the foundations for modern copyright protection of blue-ray discs and other broadcast media.»}}
|-bgcolor=#ffffff
! 2017
| {{нп5|Scott Shenker}}
| {{oq||«For pioneering contributions to fair queueing in packet-switching networks, which had a major impact on modern practice in computer communication.»}}
|-bgcolor=#ffffff
! 2018
| [[Певзнер, Павел Аркадьевич|Павел Певзнер]]
| {{oq||«For pioneering contributions to the theory, design, and implementation of algorithms for string reconstruction and to their applications in the assembly of genomes.»}}
|}

== Примечания ==
{{примечания|refs=
<ref name=ACM-SPF>{{cite web
 |title       = ACM SIGs: SIG Project Fund (SPF)
 |publisher   = [[Association for Computing Machinery|ACM]]
 |url         = http://www.acm.org/sigs/sgb/spfinfo/
 |accessdate  = 2012-12-12
 |archiveurl  = https://www.webcitation.org/6FBgwjglk?url=http://www.acm.org/sigs/sgb/spfinfo/
 |archivedate = 2013-03-17
 |deadlink    = no
}}</ref>
<ref name=ACM-PCKA>{{cite web
 |title       = Paris Kanellakis Theory and Practice Award
 |publisher   = [[Association for Computing Machinery|ACM]]
 |url         = http://awards.acm.org/homepage.cfm?srt=all&awd=147
 |accessdate  = 2012-12-12
 |archiveurl  = https://www.webcitation.org/6FBgxDbWN?url=http://awards.acm.org/homepage.cfm?srt=all
 |archivedate = 2013-03-17
 |deadlink    = yes
}}</ref>
<ref name=BROWN-NEWS-award>{{статья
|заглавие=ACM Paris Kanellakis Award
|издание=Conduit
|издательство=[[Брауновский университет|Brown University]] CS Dept
|том=5
|номер=1
|страницы=4
|ссылка=http://www.cs.brown.edu/publications/conduit/conduit_v5n1.pdf#page=4
|язык=und
|год=1996}}</ref>

<ref name=ACM-PCKA-96>{{cite press release
 |title      = The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography
 |date       = 12 Feb 1997
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/pkaward.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141338/http://www.acm.org/announcements/pkaward.html
}}</ref>
<ref name=ACM-PCKA-97>{{cite press release
 |title      = The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression
 |date       = 26 Mar 1998
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/kanellakis.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141344/http://www.acm.org/announcements/kanellakis.html
}}</ref>
<ref name=ACM-PCKA-98>{{cite press release
 |title      = ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs
 |date       = 26 Mar 1999
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/kanellakis99.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20110605194419/http://www.acm.org/announcements/kanellakis99.html
}}</ref>
<ref name=ACM-PCKA-99>{{cite press release
 |title      = Splay-tree data structure creators win 1999 Paris Kanellakis Award
 |date       = 26 Apr 2000
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/pk_award_1999.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141406/http://www.acm.org/announcements/pk_award_1999.html
}}</ref>
<ref name=ACM-PCKA-00>{{cite press release
 |title      = Interior point
 |year       = 2000
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120402212312/http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
}}</ref>
<ref name=ACM-PCKA-01>{{cite press release
 |title      = ACM honors developer of key software for sequencing the human genome
 |date       = 22 Jan 2002
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/kanellakis_2001.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141411/http://www.acm.org/announcements/kanellakis_2001.html
}}</ref>
<ref name=ACM-PCKA-02>{{cite press release
 |title      = ACM honors Peter Franaszek for contributions to data encoding
 |date       = 21 May 2003
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/kanellakis_2002.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141420/http://www.acm.org/announcements/kanellakis_2002.html
}}</ref>
<ref name=ACM-PCKA-03>{{cite press release
 |title      = ACM honors creators of methods to improve cryptography
 |date       = 24 May 2004
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/announcements/kanellakis.5-26-2004.html
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120211141448/http://www.acm.org/announcements/kanellakis.5-26-2004.html
}}</ref>
<ref name=ACM-PCKA-04>{{cite press release
 |title      = Theory and practice of boosting
 |year       = 2004
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://awards.acm.org/citation.cfm?id=5914554&srt=all&aw=147&ao=KANELLAK&yr=2004
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20120402212243/http://awards.acm.org/citation.cfm?id=5914554&srt=all&aw=147&ao=KANELLAK&yr=2004
}}</ref>
<ref name=ACM-PCKA-05>{{cite press release 
  |title=ACM honors creators of verification tools for software, hardware
  |date=15 Mar 2006 |publisher=[[Association for Computing Machinery|ACM]]
  |url=http://www.cs.rice.edu/~vardi/kanellakis.html |accessdate=2012-12-12}}</ref>
<ref name=ACM-PCKA-06>{{cite press release
 |title      = ACM honors electronic design automation technologies pioneer
 |date       = 29 Mar 2007
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/press-room/news-releases-2007/kanellakis
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20121202054815/http://www.acm.org/press-room/news-releases-2007/kanellakis
}}</ref>
<ref name=ACM-PCKA-07>{{cite press release
 |title      = ACM Kanellakis Award honors innovator of automated tools for mathematics
 |date       = 13 May 2008
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/press-room/awards/kanellakis-award-07
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20130502005225/http://www.acm.org/press-room/awards/kanellakis-award-07/
}}</ref>
<ref name=ACM-PCKA-08>{{cite press release
 |title      = ACM awards recognize innovators in computer science
 |date       = 17 Mar 2009
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org//press-room/awards/awards-08-groupa
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20130502005750/http://www.acm.org/press-room/awards/awards-08-groupa/
}}</ref>
<ref name=ACM-PCKA-09>{{cite press release
 |title      = ACM awards recognize computer scientists for innovations that have real world impact
 |date       = 30 Mar 2010
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20121202052752/http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
}}</ref>
<ref name=ACM-PCKA-10>{{cite press release
 |title      = ACM honors computing innovators for advances in research, commerce and education
 |date       = 06 Apr 2011
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/press-room/awards/technical-awards-2010
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20130502010135/http://www.acm.org/press-room/awards/technical-awards-2010/
}}</ref>
<ref name=ACM-PCKA-11>{{cite press release
 |title      = ACM honors computing innovators for advances in research, education, and industry
 |date       = 26 Apr 2012
 |publisher  = [[Association for Computing Machinery|ACM]]
 |url        = http://www.acm.org/press-room/awards/technical-awards-2011
 |accessdate = 2012-12-12
 |archiveurl = https://web.archive.org/web/20130502010437/http://www.acm.org/press-room/awards/technical-awards-2011/
}}</ref> }}

== Ссылки ==
* [https://awards.acm.org/kanellakis Paris Kanellakis Theory and Practice Award] on the [[Association for Computing Machinery|ACM]] website.
* [http://util.acm.org/boards/listing.cfm?id=147 The Paris Kanellakis Theory and Practice Award Committee] on the [[Association for Computing Machinery|ACM]] website.

{{внешние ссылки}}
{{Лауреаты премии Канеллакиса}}

[[Категория:Премии в области информатики]]
[[Категория:Награды Ассоциации вычислительной техники]]
[[Категория:Списки лауреатов премий]]
[[Категория:Награды по алфавиту]]