Премия Эмануэля Пиора
Премия Эмануэля Пиора (англ. IEEE Emanuel R. Piore Award) — награда, которая вручалась Институтом инженеров электротехники и электроники (IEEE). Награда учреждена в 1976 году и вручалась за выдающийся вклад в развитие информатики и систем обработки информации. Упразднена в 2012 году[1]. Премия названа в честь Эмануэля Пиора (1908–2000).
Премия Эмануэля Пиора | |
---|---|
англ. IEEE Emanuel R. Piore Award | |
Тип | премия |
Кому вручается | учёным |
Кем вручается | Институт инженеров электротехники и электроники |
Основания награждения | за вклад в развитие информатики и систем обработки информации |
Статус | не вручается |
Статистика | |
Дата учреждения | 1976 год |
Первое награждение | 1977 год |
Последнее награждение | 2012 год |
Лауреаты
Год | Лауреат | Обоснование награды | |
---|---|---|---|
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 года.
Ссылки
- Список лауреатов (англ.)
- Страница премии (англ.)
- Подробное описание истории медали
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.