Эмерсон, Эрнест Аллен: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
EmausBot (обсуждение | вклад) м Бот: добавление заголовков в сноски; исправление двойных сносок, см. ЧаВо |
Спасено источников — 2, отмечено мёртвыми — 2. Сообщить об ошибке. См. FAQ. #IABot (v2.0beta15) |
||
Строка 28:
== Награды ==
* [[1998]] — Paris Kanellakis Award ([[ACM]])<ref>[http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK ACM Award Citation / E Allen Emerson<!-- Заголовок добавлен ботом -->]{{Недоступная ссылка|date=Июль 2019 |bot=InternetArchiveBot }}</ref>
* [[1999]] — [[Ньюэлл, Аллен|Allen Newell]] Award (факультет информатики [[Университет Карнеги — Меллон|университета Карнеги — Меллон]])<ref>[http://www.scs.cmu.edu/people/achievements/newell/newellmedal_winners.html SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon<!-- Заголовок добавлен ботом -->] {{webarchive|url=https://web.archive.org/web/20110611134141/http://www.scs.cmu.edu/people/achievements/newell/newellmedal_winners.html |date=2011-06-11 }}</ref>
* [[2006]] — Test-of-Time Award (IEEE)<ref>[http://www.cs.utexas.edu/oea/press_desk/utcs_spotlights/2008/acm_turing_award/index.shtml The University of Texas at Austin — Department of Computer Sciences<!-- Заголовок добавлен ботом -->]{{Недоступная ссылка|date=Июль 2019 |bot=InternetArchiveBot }}</ref>
* [[2007]] — [[Премия Тьюринга]] вместе с [[Кларк, Эдмунд Мельсон|Кларком]] и [[Сифакис, Иосиф|Сифакисом]] ''за их роль в развитии [[проверка моделей|проверки моделей]] — высоко эффективную технику верификации программ, широко применяемую при разработке как [[программное обеспечение|программного]] так и [[аппаратное обеспечение|аппаратного]] обеспечения''<ref>
== Примечания ==
| |||