Премия Эмануэля Пиора
| Премия Эмануэля Пиора | |
|---|---|
| англ. IEEE Emanuel R. Piore Award | |
| Тип | премия |
| Кому вручается | учёным |
| Кем вручается | Институт инженеров электротехники и электроники |
| Основания награждения | за вклад в развитие информатики и систем обработки информации |
| Статус | не вручается |
| Статистика | |
| Дата учреждения | 1976 год |
| Первое награждение | 1977 год |
| Последнее награждение | 2012 год |
Премия Эмануэля Пиора (англ. IEEE Emanuel R. Piore Award) — награда, которая вручалась Институтом инженеров электротехники и электроники (IEEE). Награда учреждена в 1976 году и вручалась за выдающийся вклад в развитие информатики и систем обработки информации. Упразднена в 2012 году[1]. Премия названа в честь Эмануэля Пиора (1908–2000).
Лауреаты
| Год | Лауреат | Обоснование награды | |
|---|---|---|---|
| 1977 | Джордж Роберт Штибиц | «For pioneering contributions to the development of computers, utilizing binary and floating-point arithmetic, memory indexing, operation from a remote console, and program-controlled computations» | |
| 1978 | Джон Преспер Эккерт и Джон Мокли |
«For the design and construction of electronic digital computers which stimulated the development of the computer industry» | |
| 1979 | Ричард Уэсли Хэмминг | «For introduction of error correcting codes, pioneering work in operating systems and programming languages, and the advancement of numerical computation» | |
| 1980 | Рабинер, Лоренс и Ronald W. Schafer |
«For their contributions to digital speech processing and digital filter design» | |
| 1981 | |||
| 1982 | Кен Томпсон и Деннис Ритчи |
«For the creation and development of an operating system of high utility, availability, and instructive value, as embodied in UNIX and its related facilities» | |
| 1983 | Никлаус Вирт | «For creative contribution to programming language and design methodology as exemplified by his development of the Pascal language» | |
| 1984 | Harvey Cragon | «For creative contributions and leadership in uniting computer architecture with the inherent capabilities of the integrated» | |
| 1985 | Azriel Rosenfeld | «For fundamental contributions to digital image processing» | |
| 1986 | David C. Evans и Айвен Сазерленд |
«"For pioneering work in the development of interactive computer graphics systems and contributions to computer science education» | |
| 1987 | David Kuck | «For contributions to optimizing compilers for supercomputers» | |
| 1988 | Грейс Хоппер | «For pioneering contributions in information processing and programming language» | |
| 1989 | Peter A. Franaszek | «"For contributions to the theory and practice of coding for contrained channels in digital recording» | |
| 1990 | Аллен Ньюэлл | «For seminal contributions to artificial intelligence» | |
| 1991 | Joseph F. Traub | «For pioneering research in algorithm complexity, iteration theory and parallelism, and for leadership in computing education» | |
| 1992 | Harold S. Stone | «For fundamental contributions to parallel computer technology, and to computer science education» | |
| 1993 | Makoto Nagao | «For leadership and contributions to natural language processing and computer vision areas» | |
| 1994 | Джон Лерой Хеннесси | «For contributions to quantitative evaluation of computer architectures and the successful implementation of Reduced» | |
| 1995 | Yale N. Patt | «For contributions to computer architecture leading to commercially viable high performance microprocessors» | |
| 1996 | Edward J. McCluskey | «"For pioneering and fundamental contributions to design automation and fault tolerant computing» | |
| 1997 | Shun'ichi Amari | «For pioneering contributions and leadership in neural networks and information geometry» | |
| 1998 | Janak H. Patel | «For contributions to test generation and computer architecture» | |
| 1999 | Narendra Ahuja | «For contributions to computer vision and image processing» | |
| 2000 | Уильям Мортон Кэхэн | «For contributions to numerical analysis and standardization of floating-point arithmetic» | |
| 2001 | Ravishankar K. Iyer | «For fundamental contributions to measurement, evaluation, and design of reliable computing systems» | |
| 2002 | Brian Randell | «For seminal contributions to and leadership in computer system dependability research» | |
| 2003 | Giovanni De Micheli | «For contributions to computer-aided synthesis of digital systems» | |
| 2004 | Лесли Лэмпорт | «For seminal contributions to the theory and practice of concurrent programming and fault-tolerant computing» | |
| 2005 | Jacob A. Abraham | «For contributions to the development of reliable and testable computer hardware systems» | |
| 2006 | Robert K. Brayton | «For development of the field of logic synthesis from its early inception through industrial maturity» | |
| 2007 | Randal Bryant | «For seminal contributions to the field of computer-aided circuit design and verification, including the development and promulgation of ordered binary decision diagrams.» | |
| 2008 | Richard Rashid | «For contributions to the design of modern operating systems, and for innovation and leadership in industrial research» | |
| 2009 | David DeWitt | «For fundamental contributions to the architecture, algorithms, and implementation of innovative database systems» | |
| 2010 | Нэнси Энн Линч | «For contributions of foundations of distributed and concurrent computing» | |
| 2011 | Шафи Гольдвассер | «For pioneering work in laying the foundations of modern cryptography and its relation to complexity theory» | |
| 2012 | Fred B. Schneider | «For contributions to trustworthy computing through novel approaches to security, fault tolerance and formal methods for concurrent and distributed systems» | |
См. также
Примечания
- ↑ IEEE - Discontinued IEEE-Level Awards. Дата обращения: 5 февраля 2016. Архивировано из оригинала 14 ноября 2017 года.
Ссылки
- Список лауреатов Архивная копия от 4 апреля 2019 на Wayback Machine (англ.)
- Страница премии Архивная копия от 9 июля 2019 на Wayback Machine (англ.)
- Подробное описание истории медали Архивная копия от 19 сентября 2015 на Wayback Machine