Медаль Джона фон Неймана

Материал из Викизнайки
Перейти к навигации Перейти к поиску

Медаль Джона фон Неймана[1] (англ. IEEE John von Neumann Medal) — награда в области информационных технологий, учреждённая советом директоров IEEE в 1990 году. Вручается ежегодно с 1992 года за выдающиеся теоретические, технологические и деловые достижения. Учитываются не только новые достижения, но значительные результаты прошлых лет[2]. В одной номинации может быть указано от 1 до 3 человек, медаль трижды вручалась коллективам из двух учёных, в остальных случаях производилось вручение одному человеку.

Спонсором медали выступает корпорация IBM. Названа в честь Джона фон Неймана.

Лауреаты

Медалью Джона фон Неймана были награждены:[3] Шаблон:Закончить перевод

Год Лауреат Обоснование награды
1992 Гордон Белл За инновационный вклад в архитектуру и проектирование компьютеров.
1993 Фредерик Брукс
1994 Джон Кок За вклад в компьютерную индустрию, включая изобретение, разработку и внедрение RISC-архитектуры и технологии оптимизации программ.
1995 Дональд Кнут
1996 Карвер Мид[en]
1997 Морис Уилкс
1998 Айвен Сазерленд
1999 Дуглас Энгельбарт
2000 Джон Хеннеси и Дэвид Паттерсон
2001 Батлер Лэмпсон
2002 Оле-Йохан Даль и Кристен Нюгор
2003 Альфред Ахо
2004 Барбара Лисков
2005 Майкл Стоунбрейкер
2006 Эд Катмулл
2007 Чарльз Текер
2008 Лесли Лэмпорт
2009 Сьюзен Грэм[en]
2010 Джон Хопкрофт и Джеффри Ульман
2011 Чарльз Энтони Ричард Хоар
2012 Эдуард Маккласки[en]
2013 Джек Деннис[en]
2014 Клив Моулер
2015 Джеймс Гослинг За язык программирования Java, виртуальную машину Java и другой вклад в языки и среды программирования.
2016 Христос Пападимитриу
2017 Владимир Вапник За разработку статистической теории обучения, теоретические основы машинного обучения и метод опорных векторов.
2018 Patrick Cousot[en] За введение абстрактного толкования — мощной среды для автоматического определения свойств программ с широким применением в верификации и оптимизации.
2019 Эва Тардош За вклад в области алгоритмов, включая новые основополагающие методы оптимизации, аппроксимации и алгоритмическую теорию игр.

Примечания

Ссылки