Interested Article - Премия Эмануэля Пиора

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