Нагорода імені Ґрейс Мюррей Гоппер

нагорода у галузі комп'ютерних наук

Нагоро́да і́мені Ґрейс Мю́ррей Го́ппер (англ. Grace Murray Hopper Award) — щорічна нагорода, що присуджується молодому (до 35 років) фахівцю, який зробив значний внесок у галузі обчислювальної техніки. Лауреат нагороди отримує грошовий приз у сумі $35 000. Фінансова підтримка надається корпорацією Microsoft.

Нагорода імені Ґрейс Мюррей Гоппер
англ. Grace Murray Hopper Award
Країна США США
Тип грошова премія
Вручається: молодому (до 35 років) спеціалісту, яки зробив значний внесок в галузі обчислювальної техніки
Вручає: Асоціацією обчислювальної техніки
Статус вручається
На честь: Ґрейс Гоппер
Нагородження
Засновано: 1971
Перше: 1971
Нагороджені:
Категорія:Лауреати нагороди імені Ґрейс Мюррей Гоппер (13)
Черговість
Сайт awards.acm.org/hopper/

CMNS: Нагорода імені Ґрейс Мюррей Гоппер у Вікісховищі

Нагорода імені Ґрейс Мюррей Гоппер була заснована Асоціацією обчислювальної техніки (ACM) ще у 1971 році на вшанування Ґрейс Гоппер американської жінки-науковця в галузі комп'ютерних наук. Це не єдина відзнака, що носить таке ім'я. Після смерті Ґрейс Гоппер у 1992-му, ще низка нагород отримала її ім'я.

Лауреати преміїРедагувати

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

ПосиланняРедагувати