Русская Википедия:Медаль Джона фон Неймана

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

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

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

Лауреаты

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

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

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Rq