Русская Википедия:Премия Эмануэля Пиора
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Премия Эмануэля Пиора (Шаблон:Lang-en) — награда, которая вручалась Институтом инженеров электротехники и электроники (IEEE). Награда учреждена в 1976 году и вручалась за выдающийся вклад в развитие информатики и систем обработки информации. Упразднена в 2012 году[1]. Премия названа в честь Шаблон:Нп5 (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 | Рабинер, Лоренс и Шаблон:Нп5 |
«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 | Шаблон:Нп5 | «For creative contributions and leadership in uniting computer architecture with the inherent capabilities of the integrated» | |
1985 | Шаблон:Нп5 | «For fundamental contributions to digital image processing» | |
1986 | Шаблон:Нп5 и Айвен Сазерленд |
«"For pioneering work in the development of interactive computer graphics systems and contributions to computer science education» | |
1987 | Шаблон:Нп5 | «For contributions to optimizing compilers for supercomputers» | |
1988 | Грейс Хоппер | «For pioneering contributions in information processing and programming language» | |
1989 | Шаблон:Нп5 | «"For contributions to the theory and practice of coding for contrained channels in digital recording» | |
1990 | Аллен Ньюэлл | «For seminal contributions to artificial intelligence» | |
1991 | Шаблон:Нп5 | «For pioneering research in algorithm complexity, iteration theory and parallelism, and for leadership in computing education» | |
1992 | Шаблон:Нп5 | «For fundamental contributions to parallel computer technology, and to computer science education» | |
1993 | Шаблон:Нп5 | «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 | Шаблон:Нп5 | «For contributions to computer architecture leading to commercially viable high performance microprocessors» | |
1996 | Шаблон:Нп5 | «"For pioneering and fundamental contributions to design automation and fault tolerant computing» | |
1997 | Шаблон:Нп5 | «For pioneering contributions and leadership in neural networks and information geometry» | |
1998 | Janak H. Patel | «For contributions to test generation and computer architecture» | |
1999 | Шаблон:Нп5 | «For contributions to computer vision and image processing» | |
2000 | Уильям Мортон Кэхэн | «For contributions to numerical analysis and standardization of floating-point arithmetic» | |
2001 | Шаблон:Нп5 | «For fundamental contributions to measurement, evaluation, and design of reliable computing systems» | |
2002 | Шаблон:Нп5 | «For seminal contributions to and leadership in computer system dependability research» | |
2003 | Шаблон:Нп5 | «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 | Шаблон:Нп5 | «For contributions to the development of reliable and testable computer hardware systems» | |
2006 | Шаблон:Нп5 | «For development of the field of logic synthesis from its early inception through industrial maturity» | |
2007 | Шаблон:Нп5 | «For seminal contributions to the field of computer-aided circuit design and verification, including the development and promulgation of ordered binary decision diagrams.» | |
2008 | Шаблон:Нп5 | «For contributions to the design of modern operating systems, and for innovation and leadership in industrial research» | |
2009 | Шаблон:Нп5 | «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 | Шаблон:Нп5 | «For contributions to trustworthy computing through novel approaches to security, fault tolerance and formal methods for concurrent and distributed systems» |
См. также
Примечания
Ссылки
- Список лауреатов Шаблон:Wayback Шаблон:Ref-en
- Страница премии Шаблон:Wayback Шаблон:Ref-en
- Подробное описание истории медали Шаблон:Wayback