Нагоро́да і́мені Ґрейс Мю́ррей Го́ппер (англ. Grace Murray Hopper Award) — щорічна нагорода, що присуджується молодому (до 35 років) фахівцю, який зробив значний внесок у галузі обчислювальної техніки. Лауреат нагороди отримує грошовий приз у сумі $35 000. Фінансова підтримка надається корпорацією Microsoft.
Нагорода імені Ґрейс Мюррей Гоппер англ. Grace Murray Hopper Award | ||||
Країна | США | |||
---|---|---|---|---|
Тип | грошова премія | |||
Вручається: | молодому (до 35 років) спеціалісту, яки зробив значний внесок в галузі обчислювальної техніки | |||
Вручає: | Асоціацією обчислювальної техніки | |||
Статус | вручається | |||
На честь: | Ґрейс Гоппер | |||
Нагородження | ||||
Засновано: | 1971 | |||
Перше: | 1971 | |||
Нагороджені: | ||||
(14) | ||||
Черговість | ||||
Сайт | awards.acm.org/hopper/ | |||
Нагорода імені Ґрейс Мюррей Гоппер у Вікісховищі |
Нагорода імені Ґрейс Мюррей Гоппер була заснована Асоціацією обчислювальних машин (Association for Computing Machinery, ACM) ще у 1971 році на вшанування Ґрейс Гоппер американської жінки-науковця в галузі комп'ютерних наук. Це не єдина відзнака, що носить таке ім'я. Після смерті Ґрейс Гоппер у 1992-му, ще низка нагород отримала її ім'я.
Лауреати премії
Рік | Лауреат | Обгрунтування нагороди |
---|---|---|
1971 | Дональд Ервін Кнут | За розробку та впровадження розмітки TEX а також інноваційного інструментарію для комп'ютерного формування документів високої типографської якості Оригінальний текст (англ.) For the design and implementation of TEX, an innovative tool for the computer composition of documents of high typographical quality |
1972 | Пол Дірксен (Paul H. Dirksen) [en] | За створення компілятора WATFOR, першого представника потужного нового сімейства засобів діагностування та навчального програмування Оригінальний текст (англ.) For the creation of WATFOR Compiler, the first member of a powerful new family of diagnostic and educational programming tools |
1973 | [en] [en] [en] | За внесок у розробку та впровадженні APL/360, встановлення нових стандартів простоти, ефективності, надійності та часу реакції для інтерактивних систем Оригінальний текст (англ.) 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 | [en] | За розвиток та запровадження системи валідації роботи компілятора COBOL для потреб ВМФ США Оригінальний текст (англ.) For his successful development and implementation of the Navy's COBOL Compiler Validation System |
1975 | [en] | За піонерські дослідження у кількісному аналізі продуктивності комп'ютера Оригінальний текст (англ.) For his pioneering study in quantitative computer performance analysis |
1976 | [en] | За піонерські дослідження, які втілені у програмі MYCIN. MYCIN — це програма для взаємодії з лікарями щодо діагностування та лікування інфекцій. Створюючи MYCIN, Шортліфф використав свою медичну освіту в поєднанні з дослідженнями в галузі проектування баз знань, для створення інтегрованого пакету, який для лікарів-експертів можна було легко використовувати та розширювати. Робота Шортліффа лягла в основу дослідницької програми, яку підтримує NIH, і її широко вивчали та застосовували для роботи з базами знань в інших галузях Оригінальний текст (англ.) 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 | Реймонд Курцвейл | За розробку унікальної машини читання для незрячих — комп'ютерного пристрою, який читає друковані сторінки вголос. Машина Курцвейла — це 80-фунтовий пристрій, який сканує та оцифровує друковану сторінку та на базі вбудованого комп'ютера озвучує текст з використанням синтетичного мовлення. Машина не була б можливою без чергового досягнення Курцвейла, тобто набору правил, втілених у програмному забезпеченні міні-комп'ютерів, за допомогою яких надійно та автоматично розпізнаються друковані символи найрізноманітніших розмірів і форм. Оригінальний текст (англ.) 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 | Стів Возняк | За чималий внесок у швидко зростаючу сферу персональних комп'ютерів і, зокрема, в апаратне та програмне забезпечення комп'ютера Apple Оригінальний текст (англ.) 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 | Роберт Меткалф | За роботу з розвитку локальних мереж, зокрема Ethernet-технологій Оригінальний текст (англ.) For his work in the development of local networks, specifically the Ethernet |
1981 | Даніель Сінгер Бріклін | За внесок у розробку VisiCalc, першого табличного процесора для персональних комп'ютерів Оригінальний текст (англ.) 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 | [en] | За внесок у сферу комп'ютеризованих систем створення та набору тексту, зокрема мову розмітки «Scribe», яка стала значним успіхом у цій галузі. Продукт втілив декілька нововведень, заснованих на дослідженнях інформатики у створенні мови програмування, базах знань, комп'ютерній обробці документів та друкові. Вплив «Scribe» був значним завдяки чудовій документації та зусиллям Рейда, прикладених для поширенню системи Оригінальний текст (англ.) 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 | [en] | За початковий внесок в об'єктно-орієнтовані мови програмування та пов'язані з ними методи програмування. Теорії мов та систем розробки, відомі як «Smalltalk», поклали початок дослідженням нових програмних методологій, графічних дизайнів користувацького інтерфейсу та форм онлайн-допомоги процесу розробки програмного забезпечення Оригінальний текст (англ.) 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 | [en] | За встановлення декількох ключових аспектів теоретичної основи логічного програмування та доведення теореми роздільної здатності підтвердження виконання завдання програмування шляхом отримання результату, що обчислюється комп'ютерною програмою. За створення конструктивної методики та за представлення ефективного методу побудови відповіді; ці внески забезпечили теоретичну основу для мови програмування Пролог та логічного програмування Оригінальний текст (англ.) 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 | Білл Джой | За роботу над операційною системою Berkeley UNIX у ролі конструктора, інтегратора та реалізатора багатьох її вдосконалених функцій, включаючи роботу з віртуальною пам'яттю, оболонку C-shell, редактор vi Screen та мережеві можливості Оригінальний текст (англ.) 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 | Джон Остерхут | За внесок у дуже масштабну інтегральну схему комп'ютерного проектування. Його системи, «Caesar» і «Magic», продемонстрували, що ефективні системи САПР не обов'язково повинні бути дорогими, важкими для освоєння чи повільними Оригінальний текст (англ.) 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 | [en] | За загальний внесок у розвиток мов програмування високого рівня для обробки символьних даних, переважно для просування лексичного сприйняття у мові LISP Оригінальний текст (англ.) For his general contributions to the development of Higher Order Symbolic Programming, principally for his advancement of lexical scoping in LISP |
1989 | Вільям Деніел Гілліс | За його основні дослідження алгоритмів паралельних даних, а також за розробку концепції, проектування, впровадження та комерціалізацію сімейства суперкомп'ютерів «Connection Machine» Оригінальний текст (англ.) For his basic research on data parallel algorithms and for the conception, design, implementation and commercialization of the Connection Machine |
1990 | Річард Столмен | За новаторську роботу з розробки масштабованого редактора (Editor MACroS) Оригінальний текст (англ.) For pioneering work in the development of the extensible editor EMACS (Editing Macros) |
1991 | [en] | За внесок в архітектуру та алгоритми для шахових машин. Результатом його роботи привели створення шахової машини «Deep Thought», яка стала першим шаховим комп'ютером, який переміг гросмейстерів у турнірній грі та отримав сертифікований рейтинг рівня гросмейстера Оригінальний текст (англ.) 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 | Б'ярн Страуструп | Для його ранні роботи, що заклали основи мови програмування C++. Спираючись на основи та постійні зусилля доктора Струструпа, C++ став однією з найвпливовіших мов програмування в історії обчислень Оригінальний текст (англ.) 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 | [en] | За розробку та впровадження компілятора IMPACT, що широко використовується як мікропроцесорною галуззю як базовий рівень для розробки продукту, так і науковими колами як основа для вдосконалених досліджень та розробок в архітектурі комп'ютерів і проектуванні компіляторів Оригінальний текст (англ.) 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 | [en] | За її основоположну роботу над ймовірнісним підходом, яка спричинила зсув парадигми у галузі планування шляхів і знайшла багато застосувань у роботах, виробництві, нанотехнологіях та обчислювальній біології Оригінальний текст (англ.) 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 | [en] | За його основоположну роботу над концепцією і реалізацією коду перевірки переносу, яка суттєво вплинула на галузь мов програмування і компіляторів та дала новий напрям у застосуваннях теореми, що доводять правильність програми, таких як безпека мобільного коду і компонентне програмне забезпечення Оригінальний текст (англ.) 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 | [en] | За основоположну роботу над правилами асоціації майнінгу, яка привела до того, що ці правила асоціації стали ключовим інструментом інтелектуального аналізу даних, а також складовою частиною основного курсу навчання базам даних та курсів інтелектуального аналізу даних Оригінальний текст (англ.) 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 | [en] | За новаторський аналіз технологій масштабування для високопродуктивних процесорів, що пролив нове світло на методи, спрямовані на підтримання тенденцій зростання продуктивності у комп'ютерній архітектурі, та на методики проектування майбутніх високопродуктивних процесорів і систем Оригінальний текст (англ.) 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 | [en] | За створення моделей, алгоритмів та розвиток систем, які забезпечують стабільну та ефективну маршрутизацію в Інтернеті без застосування глобальної координації Оригінальний текст (англ.) For models, algorithms, and deployed systems that assure stable and efficient Internet routing without global coordination |
2005 | [en] | За роботу щодо пошуку означеного логарифмічно-просторового алгоритму для ST-зв'язності в неорієнтованих графах Оригінальний текст (англ.) For his work in finding a deterministic logarithmic-space algorithm for ST-connectivity in undirected graphs |
2006 | [en] | За проектування системи, здатної вивчити якісну граматику англійської мови безпосередньо з тексту Оригінальний текст (англ.) For the design of a system capable of learning a high-quality grammar for English directly from text |
2007 | [en] | За його роботу у вимірюванні та характеризуванні Інтернету Оригінальний текст (англ.) For his work in measuring and characterizing the Internet |
2008 | [en] | За новаторську роботу з автоматизованої перевірки програм та пошуку помилок Оригінальний текст (англ.) For his ground-breaking work on automated program checking and bug-finding |
2009 | [en] | За дослідження, що поєднує інформатику та теорію ігор для аналізу мережевої маршрутизації між зацікавленими сторонами Оригінальний текст (англ.) For his research combining computer science and game theory to analyze network routing among self-interested parties. |
2010 | [en] | За його прорив у побудові повністю гомоморфної схеми шифрування, що дозволяє проводити довільні обчислення на зашифрованих даних без розшифрування даних Оригінальний текст (англ.) 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 |
[en] | За створення та просування Software Defined Networking (SDN), нової парадигми у дослідженні та використанні комп'ютерних мереж, яка забезпечує програмну альтернативу апаратним мережевим компонентам Оригінальний текст (англ.) 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 | [en] | За технічний внесок у розв'язання проблеми виявлення об'єктів у зображеннях, який зробив дуже великий вплив у сферах комп'ютерного зору та машинного навчання Оригінальний текст (англ.) 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 | [en] | За її оригінальні роботи над розподіленими хеш-таблицями, фундаментальний внесок у розробку крупномасштабних розподілених і децентралізованих обчислювальних систем Оригінальний текст (англ.) For her seminal work on distributed hash tables, a fundamental contribution to the design of large-scale distributed and decentralized computing systems. |
2015 | [en] | За впровадження та розвиток концепцій шифрування на основі атрибутів та функціонального шифрування Оригінальний текст (англ.) For the introduction and development of the concepts of Attribute-Based Encryption and Functional Encryption |
2016 | [en] | За розробку мов візуалізації, які кардинально змінили спосіб побудови та взаємодії людей із діаграмами та графіками через Всесвітнє павутиння Оригінальний текст (англ.) For developing visualization languages that have fundamentally changed the way people build and interact with charts and graphs across the Web |
2017 | [en] | За розробку коду HARVEY для цілісної симуляції кровообігу, який дозволяє моделювати всю артеріальну систему людини на субклітинному рівні та сприяє відкриттям, які послужать основою для вдосконалення діагностування, профілактики та лікування захворювань людини Оригінальний текст (англ.) 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 | [en] Майкл Фрідман | За внесок у надійні розподілені системи для сучасної хмари Оригінальний текст (англ.) For contributions to robust distributed systems for the modern cloud |
2019 | [en] | За фундаментальний та проривний внесок у мінімально контрольоване навчання Оригінальний текст (англ.) For foundational and breakthrough contributions to minimally-supervised learning |
Примітки
- . acm.org. Архів оригіналу за 1 грудня 2017. Процитовано 15 квітня 2021.
- . acm.org. Архів оригіналу за 16 квітня 2021. Процитовано 15 квітня 2021.
- . acm.org. Архів оригіналу за 15 квітня 2021. Процитовано 15 квітня 2021.
- . acm.org. Архів оригіналу за 15 квітня 2021. Процитовано 15 квітня 2021.
- . acm.org. Архів оригіналу за 16 квітня 2021. Процитовано 15 квітня 2021.
- . acm.org. Архів оригіналу за 29 травня 2021. Процитовано 15 квітня 2021.
Посилання
Вікісховище має мультимедійні дані за темою: Нагорода імені Ґрейс Мюррей Гоппер |
- Нагороди імені Грейс Мюррей Гоппер на сайті ACM [ 1 жовтня 2014 у Wayback Machine.]
- . awards.acm.org. Архів оригіналу за 12 квітня 2016. Процитовано 5 листопада 2016.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Nagoro da i meni Grejs Myu rrej Go pper angl Grace Murray Hopper Award shorichna nagoroda sho prisudzhuyetsya molodomu do 35 rokiv fahivcyu yakij zrobiv znachnij vnesok u galuzi obchislyuvalnoyi tehniki Laureat nagorodi otrimuye groshovij priz u sumi 35 000 Finansova pidtrimka nadayetsya korporaciyeyu Microsoft Nagoroda imeni Grejs Myurrej Gopper angl Grace Murray Hopper AwardKrayina SShATip groshova premiyaVruchayetsya molodomu do 35 rokiv specialistu yaki zrobiv znachnij vnesok v galuzi obchislyuvalnoyi tehnikiVruchaye Asociaciyeyu obchislyuvalnoyi tehnikiStatus vruchayetsyaNa chest Grejs GopperNagorodzhennyaZasnovano 1971Pershe 1971Nagorodzheni Kategoriya Laureati nagorodi imeni Grejs Myurrej Gopper 14 ChergovistSajt awards acm org hopper Nagoroda imeni Grejs Myurrej Gopper u Vikishovishi Nagoroda imeni Grejs Myurrej Gopper bula zasnovana Asociaciyeyu obchislyuvalnih mashin Association for Computing Machinery ACM she u 1971 roci na vshanuvannya Grejs Gopper amerikanskoyi zhinki naukovcya v galuzi komp yuternih nauk Ce ne yedina vidznaka sho nosit take im ya Pislya smerti Grejs Gopper u 1992 mu she nizka nagorod otrimala yiyi im ya Grejs Gopper 1984 Laureati premiyiRik Laureat Obgruntuvannya nagorodi1971 Donald Ervin Knut Za rozrobku ta vprovadzhennya rozmitki TEX a takozh innovacijnogo instrumentariyu dlya komp yuternogo formuvannya dokumentiv visokoyi tipografskoyi yakosti Originalnij tekst angl For the design and implementation of TEX an innovative tool for the computer composition of documents of high typographical quality1972 Pol Dirksen Paul H Dirksen en Za stvorennya kompilyatora WATFOR pershogo predstavnika potuzhnogo novogo simejstva zasobiv diagnostuvannya ta navchalnogo programuvannya Originalnij tekst angl For the creation of WATFOR Compiler the first member of a powerful new family of diagnostic and educational programming tools1973 en en en Za vnesok u rozrobku ta vprovadzhenni APL 360 vstanovlennya novih standartiv prostoti efektivnosti nadijnosti ta chasu reakciyi dlya interaktivnih sistem Originalnij tekst angl For their work in the design and implementation of APL 360 setting new standards in simplicity efficiency reliability and response time for interactive systems1974 en Za rozvitok ta zaprovadzhennya sistemi validaciyi roboti kompilyatora COBOL dlya potreb VMF SShA Originalnij tekst angl For his successful development and implementation of the Navy s COBOL Compiler Validation System1975 en Za pionerski doslidzhennya u kilkisnomu analizi produktivnosti komp yutera Originalnij tekst angl For his pioneering study in quantitative computer performance analysis1976 en Za pionerski doslidzhennya yaki vtileni u programi MYCIN MYCIN ce programa dlya vzayemodiyi z likaryami shodo diagnostuvannya ta likuvannya infekcij Stvoryuyuchi MYCIN Shortliff vikoristav svoyu medichnu osvitu v poyednanni z doslidzhennyami v galuzi proektuvannya baz znan dlya stvorennya integrovanogo paketu yakij dlya likariv ekspertiv mozhna bulo legko vikoristovuvati ta rozshiryuvati Robota Shortliffa lyagla v osnovu doslidnickoyi programi yaku pidtrimuye NIH i yiyi shiroko vivchali ta zastosovuvali dlya roboti z bazami znan v inshih galuzyah Originalnij tekst angl 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 systems1977 ne prisudzhuvalas1978 Rejmond Kurcvejl Za rozrobku unikalnoyi mashini chitannya dlya nezryachih komp yuternogo pristroyu yakij chitaye drukovani storinki vgolos Mashina Kurcvejla ce 80 funtovij pristrij yakij skanuye ta ocifrovuye drukovanu storinku ta na bazi vbudovanogo komp yutera ozvuchuye tekst z vikoristannyam sintetichnogo movlennya Mashina ne bula b mozhlivoyu bez chergovogo dosyagnennya Kurcvejla tobto naboru pravil vtilenih u programnomu zabezpechenni mini komp yuteriv za dopomogoyu yakih nadijno ta avtomatichno rozpiznayutsya drukovani simvoli najriznomanitnishih rozmiriv i form Originalnij tekst angl 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 recognized1979 Stiv Voznyak Za chimalij vnesok u shvidko zrostayuchu sferu personalnih komp yuteriv i zokrema v aparatne ta programne zabezpechennya komp yutera Apple Originalnij tekst angl For his many contributions to the rapidly growing field of personal computing and in particular to the hardware and software for the Apple Computer1980 Robert Metkalf Za robotu z rozvitku lokalnih merezh zokrema Ethernet tehnologij Originalnij tekst angl For his work in the development of local networks specifically the Ethernet1981 Daniel Singer Briklin Za vnesok u rozrobku VisiCalc pershogo tablichnogo procesora dlya personalnih komp yuteriv Originalnij tekst angl 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 program1982 en Za vnesok u sferu komp yuterizovanih sistem stvorennya ta naboru tekstu zokrema movu rozmitki Scribe yaka stala znachnim uspihom u cij galuzi Produkt vtiliv dekilka novovveden zasnovanih na doslidzhennyah informatiki u stvorenni movi programuvannya bazah znan komp yuternij obrobci dokumentiv ta drukovi Vpliv Scribe buv znachnim zavdyaki chudovij dokumentaciyi ta zusillyam Rejda prikladenih dlya poshirennyu sistemi Originalnij tekst angl 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 ne prisudzhuvalas1984 en Za pochatkovij vnesok v ob yektno oriyentovani movi programuvannya ta pov yazani z nimi metodi programuvannya Teoriyi mov ta sistem rozrobki vidomi yak Smalltalk poklali pochatok doslidzhennyam novih programnih metodologij grafichnih dizajniv koristuvackogo interfejsu ta form onlajn dopomogi procesu rozrobki programnogo zabezpechennya Originalnij tekst angl 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 process1985 en Za vstanovlennya dekilkoh klyuchovih aspektiv teoretichnoyi osnovi logichnogo programuvannya ta dovedennya teoremi rozdilnoyi zdatnosti pidtverdzhennya vikonannya zavdannya programuvannya shlyahom otrimannya rezultatu sho obchislyuyetsya komp yuternoyu programoyu Za stvorennya konstruktivnoyi metodiki ta za predstavlennya efektivnogo metodu pobudovi vidpovidi ci vneski zabezpechili teoretichnu osnovu dlya movi programuvannya Prolog ta logichnogo programuvannya Originalnij tekst angl 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 programming1986 Bill Dzhoj Za robotu nad operacijnoyu sistemoyu Berkeley UNIX u roli konstruktora integratora ta realizatora bagatoh yiyi vdoskonalenih funkcij vklyuchayuchi robotu z virtualnoyu pam yattyu obolonku C shell redaktor vi Screen ta merezhevi mozhlivosti Originalnij tekst angl 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 Networking1987 Dzhon Osterhut Za vnesok u duzhe masshtabnu integralnu shemu komp yuternogo proektuvannya Jogo sistemi Caesar i Magic prodemonstruvali sho efektivni sistemi SAPR ne obov yazkovo povinni buti dorogimi vazhkimi dlya osvoyennya chi povilnimi Originalnij tekst angl 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 slow1988 en Za zagalnij vnesok u rozvitok mov programuvannya visokogo rivnya dlya obrobki simvolnih danih perevazhno dlya prosuvannya leksichnogo sprijnyattya u movi LISP Originalnij tekst angl For his general contributions to the development of Higher Order Symbolic Programming principally for his advancement of lexical scoping in LISP1989 Vilyam Deniel Gillis Za jogo osnovni doslidzhennya algoritmiv paralelnih danih a takozh za rozrobku koncepciyi proektuvannya vprovadzhennya ta komercializaciyu simejstva superkomp yuteriv Connection Machine Originalnij tekst angl For his basic research on data parallel algorithms and for the conception design implementation and commercialization of the Connection Machine1990 Richard Stolmen Za novatorsku robotu z rozrobki masshtabovanogo redaktora Editor MACroS Originalnij tekst angl For pioneering work in the development of the extensible editor EMACS Editing Macros 1991 en Za vnesok v arhitekturu ta algoritmi dlya shahovih mashin Rezultatom jogo roboti priveli stvorennya shahovoyi mashini Deep Thought yaka stala pershim shahovim komp yuterom yakij peremig grosmejsteriv u turnirnij gri ta otrimav sertifikovanij rejting rivnya grosmejstera Originalnij tekst angl 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 ne prisudzhuvalas1993 B yarn Straustrup Dlya jogo ranni roboti sho zaklali osnovi movi programuvannya C Spirayuchis na osnovi ta postijni zusillya doktora Strustrupa C stav odniyeyu z najvplivovishih mov programuvannya v istoriyi obchislen Originalnij tekst angl 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 ne prisudzhuvalas1995 ne prisudzhuvalas1996 Shafi Goldvasser Za yiyi rannyu robotu sho stosuyetsya obchislen vipadkovosti pidtverdzhennya znan ta dokaziv yaka sformuvala osnovi teoriyi jmovirnisnih obchislen obchislyuvalnoyi teoriyi chisel ta kriptografiyi Originalnij tekst angl 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 ne prisudzhuvalas1998 ne prisudzhuvalas1999 en Za rozrobku ta vprovadzhennya kompilyatora IMPACT sho shiroko vikoristovuyetsya yak mikroprocesornoyu galuzzyu yak bazovij riven dlya rozrobki produktu tak i naukovimi kolami yak osnova dlya vdoskonalenih doslidzhen ta rozrobok v arhitekturi komp yuteriv i proektuvanni kompilyatoriv Originalnij tekst angl 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 design2000 en Za yiyi osnovopolozhnu robotu nad jmovirnisnim pidhodom yaka sprichinila zsuv paradigmi u galuzi planuvannya shlyahiv i znajshla bagato zastosuvan u robotah virobnictvi nanotehnologiyah ta obchislyuvalnij biologiyi Originalnij tekst angl 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 en Za jogo osnovopolozhnu robotu nad koncepciyeyu i realizaciyeyu kodu perevirki perenosu yaka suttyevo vplinula na galuz mov programuvannya i kompilyatoriv ta dala novij napryam u zastosuvannyah teoremi sho dovodyat pravilnist programi takih yak bezpeka mobilnogo kodu i komponentne programne zabezpechennya Originalnij tekst angl 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 en Za osnovopolozhnu robotu nad pravilami asociaciyi majningu yaka privela do togo sho ci pravila asociaciyi stali klyuchovim instrumentom intelektualnogo analizu danih a takozh skladovoyu chastinoyu osnovnogo kursu navchannya bazam danih ta kursiv intelektualnogo analizu danih Originalnij tekst angl 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 en Za novatorskij analiz tehnologij masshtabuvannya dlya visokoproduktivnih procesoriv sho proliv nove svitlo na metodi spryamovani na pidtrimannya tendencij zrostannya produktivnosti u komp yuternij arhitekturi ta na metodiki proektuvannya majbutnih visokoproduktivnih procesoriv i sistem Originalnij tekst angl 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 systems2004 en Za stvorennya modelej algoritmiv ta rozvitok sistem yaki zabezpechuyut stabilnu ta efektivnu marshrutizaciyu v Interneti bez zastosuvannya globalnoyi koordinaciyi Originalnij tekst angl For models algorithms and deployed systems that assure stable and efficient Internet routing without global coordination2005 en Za robotu shodo poshuku oznachenogo logarifmichno prostorovogo algoritmu dlya ST zv yaznosti v neoriyentovanih grafah Originalnij tekst angl For his work in finding a deterministic logarithmic space algorithm for ST connectivity in undirected graphs2006 en Za proektuvannya sistemi zdatnoyi vivchiti yakisnu gramatiku anglijskoyi movi bezposeredno z tekstu Originalnij tekst angl For the design of a system capable of learning a high quality grammar for English directly from text2007 en Za jogo robotu u vimiryuvanni ta harakterizuvanni Internetu Originalnij tekst angl For his work in measuring and characterizing the Internet2008 en Za novatorsku robotu z avtomatizovanoyi perevirki program ta poshuku pomilok Originalnij tekst angl For his ground breaking work on automated program checking and bug finding2009 en Za doslidzhennya sho poyednuye informatiku ta teoriyu igor dlya analizu merezhevoyi marshrutizaciyi mizh zacikavlenimi storonami Originalnij tekst angl For his research combining computer science and game theory to analyze network routing among self interested parties 2010 en Za jogo proriv u pobudovi povnistyu gomomorfnoyi shemi shifruvannya sho dozvolyaye provoditi dovilni obchislennya na zashifrovanih danih bez rozshifruvannya danih Originalnij tekst angl For his breakthrough construction of a fully homomorphic encryption scheme enabling arbitrary computations to be performed on encrypted data without the data being decrypted2011 Luyis fon An Za doslidzhennya shodo vikoristannya lyudskoyi storoni vzayemodiyi lyudina komp yuter dlya obchislyuvalnih cilej Originalnij tekst angl For his research in harnessing the human side of human computer interaction for computational goals2012 Dina Katabi Za yiyi vagomij vnesok u teoriyu ta praktiku upravlinnya merezhevim perevantazhennyam ta rozpodilom smugi propuskannya Originalnij tekst angl For her seminal contributions to the theory and practice of network congestion control and bandwidth allocation en Za stvorennya ta prosuvannya Software Defined Networking SDN novoyi paradigmi u doslidzhenni ta vikoristanni komp yuternih merezh yaka zabezpechuye programnu alternativu aparatnim merezhevim komponentam Originalnij tekst angl 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 components2013 en Za tehnichnij vnesok u rozv yazannya problemi viyavlennya ob yektiv u zobrazhennyah yakij zrobiv duzhe velikij vpliv u sferah komp yuternogo zoru ta mashinnogo navchannya Originalnij tekst angl 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 learning2014 en Za yiyi originalni roboti nad rozpodilenimi hesh tablicyami fundamentalnij vnesok u rozrobku krupnomasshtabnih rozpodilenih i decentralizovanih obchislyuvalnih sistem Originalnij tekst angl For her seminal work on distributed hash tables a fundamental contribution to the design of large scale distributed and decentralized computing systems 2015 en Za vprovadzhennya ta rozvitok koncepcij shifruvannya na osnovi atributiv ta funkcionalnogo shifruvannya Originalnij tekst angl For the introduction and development of the concepts of Attribute Based Encryption and Functional Encryption2016 en Za rozrobku mov vizualizaciyi yaki kardinalno zminili sposib pobudovi ta vzayemodiyi lyudej iz diagramami ta grafikami cherez Vsesvitnye pavutinnya Originalnij tekst angl For developing visualization languages that have fundamentally changed the way people build and interact with charts and graphs across the Web2017 en Za rozrobku kodu HARVEY dlya cilisnoyi simulyaciyi krovoobigu yakij dozvolyaye modelyuvati vsyu arterialnu sistemu lyudini na subklitinnomu rivni ta spriyaye vidkrittyam yaki posluzhat osnovoyu dlya vdoskonalennya diagnostuvannya profilaktiki ta likuvannya zahvoryuvan lyudini Originalnij tekst angl 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 diseases2018 en Majkl Fridman Za vnesok u nadijni rozpodileni sistemi dlya suchasnoyi hmari Originalnij tekst angl For contributions to robust distributed systems for the modern cloud2019 en Za fundamentalnij ta prorivnij vnesok u minimalno kontrolovane navchannya Originalnij tekst angl For foundational and breakthrough contributions to minimally supervised learningPrimitki acm org Arhiv originalu za 1 grudnya 2017 Procitovano 15 kvitnya 2021 acm org Arhiv originalu za 16 kvitnya 2021 Procitovano 15 kvitnya 2021 acm org Arhiv originalu za 15 kvitnya 2021 Procitovano 15 kvitnya 2021 acm org Arhiv originalu za 15 kvitnya 2021 Procitovano 15 kvitnya 2021 acm org Arhiv originalu za 16 kvitnya 2021 Procitovano 15 kvitnya 2021 acm org Arhiv originalu za 29 travnya 2021 Procitovano 15 kvitnya 2021 PosilannyaVikishovishe maye multimedijni dani za temoyu Nagoroda imeni Grejs Myurrej GopperNagorodi imeni Grejs Myurrej Gopper na sajti ACM 1 zhovtnya 2014 u Wayback Machine awards acm org Arhiv originalu za 12 kvitnya 2016 Procitovano 5 listopada 2016