Нагоро́да і́мені Ґрейс Мю́ррей Го́ппер () — щорічна нагорода, яку присуджують молодому (до 35 років) фахівцю, який зробив значний внесок у галузі обчислювальної техніки. Лауреат нагороди отримує грошовий приз у сумі $35 000. Фінансову підтримку надає корпорація Microsoft.
Нагороду імені Ґрейс Мюррей Гоппер заснувала Асоціація обчислювальних машин (Association for Computing Machinery, ACM) ще у 1971 році на вшанування Ґрейс Гоппер американської жінки-науковця в галузі комп'ютерних наук. Це не єдина відзнака, що має таке ім'я. Після смерті Ґрейс Гоппер у 1992-му, ще низка нагород отримала її ім'я.
Лауреати премії Рік Лауреат Обгрунтування нагороди 1971 Дональд Ервін Кнут За розробку та впровадження розмітки TEX а також інноваційного інструментарію для комп'ютерного формування документів високої типографської якості 1972 Пол Дірксен (Paul H. Dirksen) За створення компілятора WATFOR, першого представника потужного нового сімейства засобів діагностування та навчального програмування 1973 За внесок у розробку та впровадженні APL/360, встановлення нових стандартів простоти, ефективності, надійності та часу реакції для інтерактивних систем 1974 За розвиток та запровадження системи валідації роботи компілятора COBOL для потреб ВМФ США 1975 За піонерські дослідження у кількісному аналізі продуктивності комп'ютера 1976 За піонерські дослідження, які втілені у програмі MYCIN. MYCIN — це програма для взаємодії з лікарями щодо діагностування та лікування інфекцій. Створюючи MYCIN, Шортліфф використав свою медичну освіту в поєднанні з дослідженнями в галузі проєктування баз знань, для створення інтегрованого пакету, який для лікарів-експертів можна було легко використовувати та розширювати. Робота Шортліффа лягла в основу дослідницької програми, яку підтримує NIH, і її широко вивчали та застосовували для роботи з базами знань в інших галузях 1977 не присуджували 1978 Реймонд Курцвейл За розробку унікальної машини читання для незрячих — комп'ютерного пристрою, який читає друковані сторінки вголос. Машина Курцвейла — це 80-фунтовий пристрій, який сканує та оцифровує друковану сторінку та на базі вбудованого комп'ютера озвучує текст з використанням синтетичного мовлення. Машина не була б можливою без чергового досягнення Курцвейла, тобто набору правил, втілених у програмному забезпеченні міні-комп'ютерів, за допомогою яких надійно та автоматично розпізнаються друковані символи найрізноманітніших розмірів і форм. 1979 Стів Возняк За чималий внесок у швидко зростаючу сферу персональних комп'ютерів і, зокрема, в апаратне та програмне забезпечення комп'ютера Apple 1980 Роберт Меткалф За роботу з розвитку локальних мереж, зокрема Ethernet-технологій 1981 Даніель Сінгер Бріклін За внесок у розробку VisiCalc, першого табличного процесора для персональних комп'ютерів 1982 За внесок у сферу комп'ютеризованих систем створення та набору тексту, зокрема мову розмітки «Scribe», яка стала значним успіхом у цій галузі. Продукт втілив декілька нововведень, заснованих на дослідженнях інформатики у створенні мови програмування, базах знань, комп'ютерній обробці документів та друкові. Вплив «Scribe» був значним завдяки чудовій документації та зусиллям Рейда, прикладених для поширенню системи 1983 не присуджували 1984 За початковий внесок в об'єктно-орієнтовані мови програмування та пов'язані з ними методи програмування. Теорії мов та систем розробки, знані як «Smalltalk», поклали початок дослідженням нових програмних методологій, графічних дизайнів користувацького інтерфейсу та форм онлайн-допомоги процесу розробки програмного забезпечення 1985 За встановлення декількох ключових аспектів теоретичної основи логічного програмування та доведення теореми роздільної здатності підтвердження виконання завдання програмування шляхом отримання результату, що обчислюється комп'ютерною програмою. За створення конструктивної методики та за представлення ефективного методу побудови відповіді; ці внески забезпечили теоретичну основу для мови програмування Пролог та логічного програмування 1986 Білл Джой За роботу над операційною системою Berkeley UNIX у ролі конструктора, інтегратора та реалізатора багатьох її вдосконалених функцій, включаючи роботу з віртуальною пам'яттю, оболонку C-shell, редактор vi Screen та мережеві можливості 1987 Джон Остерхут За внесок у дуже масштабну інтегральну схему комп'ютерного проєктування. Його системи, «Caesar» і «Magic», продемонстрували, що ефективні системи САПР не обов'язково повинні бути дорогими, важкими для освоєння чи повільними 1988 За загальний внесок у розвиток мов програмування високого рівня для обробки символьних даних, переважно для просування лексичного сприйняття у мові LISP 1989 Вільям Деніел Гілліс За його основні дослідження алгоритмів паралельних даних, а також за розробку концепції, проєктування, впровадження та комерціалізацію сімейства суперкомп'ютерів «Connection Machine» 1990 Річард Столмен За новаторську роботу з розробки масштабованого редактора Emacs/EMACS (Editor MACroS) 1991 За внесок в архітектуру та алгоритми для шахових машин. Результатом його роботи привели створення шахової машини «Deep Thought», яка стала першим шаховим комп'ютером, який переміг гросмейстерів у турнірній грі та отримав сертифікований рейтинг рівня гросмейстера 1992 не присуджували 1993 Б'ярн Страуструп Для його ранні роботи, що заклали основи мови програмування C++. Спираючись на основи та постійні зусилля доктора Струструпа, C++ став однією з найвпливовіших мов програмування в історії обчислень 1994 не присуджували 1995 не присуджували 1996 Шафі Голдвассер За її ранню роботу, що стосується обчислень, випадковості, підтвердження знань та доказів, яка сформувала основи теорії ймовірнісних обчислень, обчислювальної теорії чисел та криптографії. 1997 не присуджували 1998 не присуджували 1999 За розробку та впровадження компілятора IMPACT, що широко використовується як мікропроцесорною галуззю як базовий рівень для розробки продукту, так і науковими колами як основа для вдосконалених досліджень та розробок в архітектурі комп'ютерів і проєктуванні компіляторів 2000 За її основоположну роботу над ймовірнісним підходом, яка спричинила зсув парадигми у галузі планування шляхів і знайшла багато застосувань у роботах, виробництві, нанотехнологіях та обчислювальній біології 2001 За його основоположну роботу над концепцією і реалізацією коду перевірки переносу, яка суттєво вплинула на галузь мов програмування і компіляторів та дала новий напрям у застосуваннях теореми, що доводять правильність програми, таких як безпека мобільного коду і компонентне програмне забезпечення 2002 За основоположну роботу над правилами асоціації майнінгу, яка привела до того, що ці правила асоціації стали ключовим інструментом інтелектуального аналізу даних, а також складовою частиною основного курсу навчання базам даних та курсів інтелектуального аналізу даних 2003 За новаторський аналіз технологій масштабування для високопродуктивних процесорів, що пролив нове світло на методи, спрямовані на підтримання тенденцій зростання продуктивності у комп'ютерній архітектурі, та на методики проєктування майбутніх високопродуктивних процесорів і систем 2004 За створення моделей, алгоритмів та розвиток систем, які забезпечують стабільну та ефективну маршрутизацію в Інтернеті без застосування глобальної координації 2005 За роботу щодо пошуку означеного логарифмічно-просторового алгоритму для ST-зв'язності в неорієнтованих графах 2006 За проєктування системи, здатної вивчити якісну граматику англійської мови безпосередньо з тексту 2007 За його роботу у вимірюванні та характеризуванні Інтернету 2008 За новаторську роботу з автоматизованої перевірки програм та пошуку помилок 2009 За дослідження, що поєднує інформатику та теорію ігор для аналізу мережевої маршрутизації між зацікавленими сторонами 2010 За його прорив у побудові повністю гомоморфної схеми шифрування, що дозволяє проводити довільні обчислення на зашифрованих даних без розшифрування даних 2011 Луїс фон Ан За дослідження щодо використання людської сторони взаємодії людина-комп'ютер для обчислювальних цілей 2012 Діна Катабі За її вагомий внесок у теорію та практику управління мережевим перевантаженням та розподілом смуги пропускання За створення та просування Software Defined Networking (SDN), нової парадигми у дослідженні та використанні комп'ютерних мереж, яка забезпечує програмну альтернативу апаратним мережевим компонентам 2013 За технічний внесок у розв'язання проблеми виявлення об'єктів у зображеннях, який зробив дуже великий вплив у сферах комп'ютерного зору та машинного навчання 2014 За її оригінальні роботи над розподіленими хеш-таблицями, фундаментальний внесок у розробку крупномасштабних розподілених і децентралізованих обчислювальних систем 2015 За впровадження та розвиток концепцій шифрування на основі атрибутів та функціонального шифрування 2016 За розробку мов візуалізації, які кардинально змінили спосіб побудови та взаємодії людей із діаграмами та графіками через Всесвітнє павутиння 2017 За розробку коду HARVEY для цілісної симуляції кровообігу, який дозволяє моделювати всю артеріальну систему людини на субклітинному рівні та сприяє відкриттям, які послужать основою для вдосконалення діагностування, профілактики та лікування захворювань людини 2018 Майкл Фрідман За внесок у надійні розподілені системи для сучасної хмари 2019 За фундаментальний та проривний внесок у мінімально контрольоване навчання
Примітки
Посилання
Нагороди імені Грейс Мюррей Гоппер на сайті ACM