Премия Хоппер (Hjybnx }khhyj)

Премия Хоппер (англ. Grace Murray Hopper Award) — награда, присуждаемая молодому (до 35 лет) специалисту, сделавшему значительный вклад в области вычислительной техники. Лауреат премии получает в качестве приза $35 тыс. Финансовая поддержка предоставляется корпорацией Microsoft.

Учреждена Ассоциацией вычислительной техники в 1971 году.

Лауреаты:

Год	Лауреат	Обоснование награды
1971	Дональд Эрвин Кнут	Оригинальный текст (англ.) For the design and implementation of TEX, an innovative tool for the computer composition of documents of high typographical quality.
1972	Пол Дирксен (Paul H. Dirksen) Пол Кресс	Оригинальный текст (англ.) For the creation of WATFOR Compiler, the first member of a powerful new family of diagnostic and educational programming tools.
1973	Лоуренс Брид Ричард Латвелл Роджер Мур	Оригинальный текст (англ.) For their work in the design and implementation of APL/360, setting new standards in simplicity, efficiency, reliability and response time for interactive systems.
1974	Джордж Бейрд (George N. Baird)	Оригинальный текст (англ.) For his successful development and implementation of the Navy's COBOL Compiler Validation System.
1975	Аллен Шерр (Allan L. Scherr)	Оригинальный текст (англ.) For his pioneering study in quantitative computer performance analysis.
1976	Эдвард Ханс Шортлиф	Оригинальный текст (англ.) For his pioneering research which is embodied in the MYCIN program. MYCIN is a program which consults with physicians about the diagnosis and treatment of infections. In creating MYCIN, Shortliffe employed his background of medicine, together with his research in knowledge-based systems design, to produce an integrated package which is easy for expert physicians to use and extend. Shortliffe's work formed the basis for a research program supported by NIH, and has been widely studied and drawn upon by others in the field of knowledge-based systems.
1977	не присуждалась
1978	Рэймонд Курцвейл	Оригинальный текст (англ.) For his development of a unique reading machine for the blind, a computer-based device that reads printed pages aloud. The Kurzweil machine is an 80-pound device that shoots a beam of light across each printed page, converts the reflected light across each printed page, converts the reflected light into digital data that is analyzed by its built-in computer, and then transformed into synthetic speech. It is expected to make reading of all printed material possible for blind people, whose reading was previously limited to material translated into Braille. The machine would not have been possible without another achievement by Kurzweil, that is, a set of rules embodied in the mini-computer program by which printed characters of a wide variety of sizes and shapes are reliably and automatically recognized.
1979	Стивен Возняк	Оригинальный текст (англ.) For his many contributions to the rapidly growing field of personal computing and, in particular, to the hardware and software for the Apple Computer.
1980	Роберт Меткалф	Оригинальный текст (англ.) For his work in the development of local networks, specifically the Ethernet.
1981	Даниэль Сингер Бриклин	Оригинальный текст (англ.) For his contributions to personal computing and, in particular, to the design of VisCalc. Brickin's efforts in the development of the "Visual Calculator" provide "the excellence and elegance that ACM seeks to sustain through such activities as the Awards program.
1982	Брайан Кит Рейд	Оригинальный текст (англ.) For his contributions in the area of computerized text-production and typesetting systems, specifically Scribe which represents a major advance in this area. It embodies several innovations based on computer science research in programming language design, knowledge-based systems, computer document processing, and typography. The impact of Scribe has been substantial due to the excellent documentation and Reid's efforts to spread the system.
1983	не присуждалась
1984	Дэниэл Генри Холмс Ингаллс	Оригинальный текст (англ.) For seminal contributions to object-oriented programming languages and related programming techniques. The theories of languages and development systems known as "Smalltalk" laid the foundation for explorations in new software methodologies, graphical user interface designs, and forms of on-line assistance to the software development process.
1985	Корделл Грин (Cordell Green)	Оригинальный текст (англ.) For establishing several key aspects of the theoretical basis for logic programming and providing a resolution theorem prover to carry out a programming task by constructing the result which the computer program is to compute. For proving the constructive technique correct and for presenting an effective method for constructing the answer; these contributions providing an early theoretical basis for Prolog and logic programming.
1986	Уильям Нельсон Джой	Оригинальный текст (англ.) For his work on the Berkeley UNIX Operating System as a designer, integrator, and implementor of many of its advanced features including Virtual Memory, the C-shell, the vi Screen editor, and Networking.
1987	Джон Аустерхаут	Оригинальный текст (англ.) For his contribution to very large scale integrated circuit computer aided design. His systems, Caesar and Magic, have demonstrated that effective CAD systems need not be expensive, hard to learn, or slow.
1988	Гай Льюис Стил	Оригинальный текст (англ.) For his general contributions to the development of Higher Order Symbolic Programming, principally for his advancement of lexical scoping in LISP.
1989	Уильям Дэниэл Хиллис	Оригинальный текст (англ.) For his basic research on data parallel algorithms and for the conception, design, implementation and commercialization of the Connection Machine.
1990	Ричард Столлман	Оригинальный текст (англ.) For pioneering work in the development of the extensible editor EMACS (Editing Macros)
1991	Сюй Фэнсюн	Оригинальный текст (англ.) For contributions in architecture and algorithms for chess machines. His work led to the creation of the Deep Thought Chess Machine, which led to the first chess playing computer to defeat Grandmasters in tournament play and the first to achieve a certified Grandmaster level rating.
1992	не присуждалась
1993	Бьярне Страуструп	Оригинальный текст (англ.) For his early work laying the foundations for the C++ programming language. Based on the foundations and Dr. Stroustrup's continuing efforts, C++ has become one of the most influential programming languages in the history of computing.
1994	не присуждалась
1995	не присуждалась
1996	Шафи Гольдвассер	Оригинальный текст (англ.) For her early work relating computation, randomness, knowledge committee and proofs, which has shaped the foundations of probabilistic computation theory, computational number theory, and cryptography.
1997	не присуждалась
1998	не присуждалась
1999	Хоу Вэньмэй	Оригинальный текст (англ.) For the design and implementation of the IMPACT compiler infrastructure which has been used extensively both by the microprocessor industry as a baseline for product development and by academia as a basis for advanced research and development in computer architecture and compiler design.
2000	Лидия Кавраки	Оригинальный текст (англ.) For her seminal work on the probabilistic roadmap approach which has caused a paradigm shift in the area of path planning, and has many applications in robotics, manufacturing, nanotechnology and computational biology.
2001	Джордж Некьюла	Оригинальный текст (англ.) For his seminal work on the concept and implementation of Proof Carrying Code, which has had a great impact on the field of programming languages and compilers and has given a new direction to applications of theorem proving to program correctness, such as safety of mobile code and component-based software.
2002	Рамакришнан Срикант	Оригинальный текст (англ.) For his seminal work on mining association rules, which has led to association rules becoming a key data mining tool as well as part of the core syllabus in database and data mining courses.
2003	Стивен Кеклер	Оригинальный текст (англ.) For ground-breaking analysis of technology scaling for high-performance processors that sheds new light on the methods required to maintain performance improvement trends in computer architecture, and on the design implications for future high-performance processors and systems.
2004	Дженнифер Рексфорд	Оригинальный текст (англ.) For models, algorithms, and deployed systems that assure stable and efficient Internet routing without global coordination.
2005	Омер Рэйнгольд	Оригинальный текст (англ.) For his work in finding a deterministic logarithmic-space algorithm for ST-connectivity in undirected graphs.
2006	Дэниэл Кляйн	Оригинальный текст (англ.) For the design of a system capable of learning a high-quality grammar for English directly from text.
2007	Верн Пакссон	Оригинальный текст (англ.) For his work in measuring and characterizing the Internet.
2008	Доусон Энглер	Оригинальный текст (англ.) For his ground-breaking work on automated program checking and bug-finding.
2009	Тим Роухгарден	Оригинальный текст (англ.) For his research combining computer science and game theory to analyze network routing among self-interested parties.
2010	Крейг Джентри	Оригинальный текст (англ.) For his breakthrough construction of a fully homomorphic encryption scheme, enabling arbitrary computations to be performed on encrypted data without the data being decrypted.
2011	Луис фон Ан	Оригинальный текст (англ.) For his research in harnessing the human side of human-computer interaction for computational goals.
2012	Дина Катаби	Оригинальный текст (англ.) For her seminal contributions to the theory and practice of network congestion control and bandwidth allocation.
	Martin Casado	Оригинальный текст (англ.) For his work creating the movement of Software Defined Networking (SDN), a new paradigm in the research and practice of computer networking that provides a software alternative to hardware-based network components.
2013	Pedro Felipe Felzenszwalb	Оригинальный текст (англ.) For technical contributions to the problem of object detection in images which have had very high impact in the fields of computer vision and machine learning.
2014	Сильвия Ратсанами	Оригинальный текст (англ.) For her seminal work on distributed hash tables, a fundamental contribution to the design of large-scale distributed and decentralized computing systems.
2015	Brent Waters	Оригинальный текст (англ.) For the introduction and development of the concepts of Attribute-Based Encryption and Functional Encryption.
2016	Jeffrey Heer	Оригинальный текст (англ.) For developing visualization languages that have fundamentally changed the way people build and interact with charts and graphs across the Web.
2017	Amanda Randles	Оригинальный текст (англ.) For developing HARVEY, a massively parallel circulatory simulation code capable of modeling the full human arterial system at subcellular resolution and fostering discoveries that will serve as a basis for improving the diagnosis, prevention, and treatment of human diseases.
2018	Константинос Даскалакис и Michael J. Freedman

Ссылки

• Награды имени Грейс Мюррей Хоппер на сайте ACM Архивная копия от 2 июля 2019 на Wayback Machine
• ACM Grace Murray Hopper Award - Award Winners: List By Year  (неопр.). awards.acm.org. Дата обращения: 29 июня 2019. Архивировано 2 июля 2019 года.