Премия Канеллакиса

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Премия Париса Канеллакиса»)
Перейти к: навигация, поиск

Премия Канеллакиса (англ. Paris Kanellakis Theory and Practice Award — «премия Париса Канеллакиса за теоретические и практические достижения») — ежегодная научная премия Ассоциации вычислительной техники, вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие информационных технологий[1]. Учреждена в 1996 году в память Париса Канеллакиса (англ. Paris Kanellakis), учёного в области информатики, погибшего вместе с семьей в авиакатастрофе в Колумбии в 1995 году[2]. Лауреатам вручается денежная премия в размере в $10 тыс., субсидируемая родителями Канеллакиса, и несколькими тематическими группами ACM (SIGACT[en], SIGDA[en], SIGMOD[en] и SIGPLAN[en])[3] и индивидуальные спонсоры[1].

Награждённые[править | править вики-текст]

За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров.[13]

Примечания[править | править вики-текст]

  1. 1 2 Paris Kanellakis Theory and Practice Award. ACM. Проверено 12 декабря 2012. Архивировано из первоисточника 17 марта 2013.
  2. (1996) «ACM Paris Kanellakis Award». Conduit (Brown CS Dept) 5 (1).
  3. ACM SIGs: SIG Project Fund (SPF). ACM. Проверено 12 декабря 2012. Архивировано из первоисточника 17 марта 2013.
  4. ACM (12 Feb 1997). The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography. Пресс-релиз. Проверено 2012-12-12.
  5. ACM (26 Mar 1998). The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression. Пресс-релиз. Проверено 2012-12-12.
  6. ACM (26 Mar 1999). ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs. Пресс-релиз. Проверено 2012-12-12.
  7. ACM (26 Apr 2000). Splay-tree data structure creators win 1999 Paris Kanellakis Award. Пресс-релиз. Проверено 2012-12-12.
  8. ACM. Interior point. Пресс-релиз. Проверено 2012-12-12.
  9. ACM (22 Jan 2002). ACM honors developer of key software for sequencing the human genome. Пресс-релиз. Проверено 2012-12-12.
  10. ACM (21 May 2003). ACM honors Peter Franaszek for contributions to data encoding. Пресс-релиз. Проверено 2012-12-12.
  11. ACM (24 May 2004). ACM honors creators of methods to improve cryptography. Пресс-релиз. Проверено 2012-12-12.
  12. ACM. Theory and practice of boosting. Пресс-релиз. Проверено 2012-12-12.
  13. ACM (15 Mar 2006). ACM honors creators of verification tools for software, hardware. Пресс-релиз. Проверено 2012-12-12.
  14. ACM (29 Mar 2007). ACM honors electronic design automation technologies pioneer. Пресс-релиз. Проверено 2012-12-12.
  15. ACM (13 May 2008). ACM Kanellakis Award honors innovator of automated tools for mathematics. Пресс-релиз. Проверено 2012-12-12.
  16. ACM (17 Mar 2009). ACM awards recognize innovators in computer science. Пресс-релиз. Проверено 2012-12-12.
  17. ACM (30 Mar 2010). ACM awards recognize computer scientists for innovations that have real world impact. Пресс-релиз. Проверено 2012-12-12.
  18. ACM (06 Apr 2011). ACM honors computing innovators for advances in research, commerce and education. Пресс-релиз. Проверено 2012-12-12.
  19. ACM (26 Apr 2012). ACM honors computing innovators for advances in research, education, and industry. Пресс-релиз. Проверено 2012-12-12.

Ссылки[править | править вики-текст]