Джон П. Хейс
Американский учёный-компьютерщик

Джон Патрик Хейс — ирландско-американский учёный-компьютерщик и инженер-электрик , заведующий кафедрой инженерных наук имени Клода Э. Шеннона в Мичиганском университете . [1] Он руководил более чем 35 докторантами, был соавтором семи книг и более 340 рецензируемых публикаций. [2] Его число Эрдёша равно 2.

Джон П. Хейс
Национальностьамериканский
Альма-матерУниверситет Иллинойса в Урбане-Шампейне
Известныйучебник по компьютерной архитектуре; исследования в области тестирования схем, квантовых и стохастических вычислений
НаградыМедаль за пожизненный вклад в техническое сообщество тестовых технологий IEEE Computer Society
Научная карьера
ПоляИнформатика
УчрежденияМичиганский университет
научный руководительГернот Альберт Метце
ДокторантыШон Блэнтон , Кришненду Чакрабарти

Биография

Хейс родился и вырос в Ньюбридже, Ирландия [3] и получил степень бакалавра в Национальном университете Ирландии в Дублине , который окончил в 1965 году. Затем он поступил в аспирантуру Иллинойсского университета в Урбане-Шампейне , получив степень магистра в 1967 году и степень доктора философии в 1970 году. [4] Он отвечал за логическую разработку блоков управления входными-выходными каналами ILLIAC III . [2] Проработав два года в Гааге в Shell , он вернулся в академическую сферу, заняв должность преподавателя в Университете Южной Калифорнии в 1972 году. В 1979 году Хейс был приглашенным доцентом в Стэнфорде. В 1982 году он переехал в Мичиган, где стал директором-основателем Лаборатории передовой компьютерной архитектуры. [1] Хейс вышел на пенсию из Мичиганского университета в 2023 году. [2]

Исследовать

Хейс является автором книг

  • Проектирование цифровых систем и микропроцессоров (McGraw-Hill, 1984, ISBN  0-07-027367-7 )
  • Введение в проектирование цифровой логики (Эддисон-Уэсли, 1993, ISBN 978-0-201-15461-0 ) 
  • Архитектура и организация компьютера (3-е изд., McGraw-Hill, 2002, ISBN 978-0-07-286198-3 ) 
  • Моделирование квантовых цепей (совместно с Джорджем Ф. Виамонтесом и Игорем Л. Марковым , Springer, 2009, ISBN 978-90-481-3064-1 ) 
  • Проектирование, анализ и тестирование логических схем в условиях неопределенности (совместно со Смитой Кришнасвами и Игорем Л. Марковым , Springer, 2012, ISBN 978-90-481-9643-2 ) 

Хейс много писал об использовании гиперкубических графов в суперкомпьютерах , [5] [6] [7] Он также написал часто цитируемые исследовательские работы по отказоустойчивому проектированию , [8] обратимым вычислениям , [9] и стохастическим вычислениям . [10]

Награды и почести

В 1985 году Хейс стал членом IEEE «за вклад в цифровые методы тестирования, теорию коммутации и логическое проектирование» [11] , а в 2001 году — членом ACM «за выдающийся вклад в логическое проектирование и тестирование, а также в отказоустойчивую компьютерную архитектуру». [12] В 2004 году кафедра электротехники и вычислительной техники Иллинойсского университета в Урбане-Шампейне вручила ему награду выдающегося выпускника. [4]

В 2013 году Техническое сообщество тестовых технологий компьютерного общества IEEE наградило Хейса медалью за пожизненный вклад. [13]

В 2014 году Хейс был отмечен премией ACM Special Interest Group on Design Automation Pioneering Achievement Award «за его новаторский вклад в проектирование логики, отказоустойчивые вычисления и тестирование». [14] [15]

Награды за лучшую статью

  • Джон П. Хейс, Тревор Н. Мадж, Квентин Ф. Стаут, Стивен Колли, Джон Палмер: Суперкомпьютер Hypercube на базе микропроцессора. IEEE Micro 6(5): 6-17 (1986)
  • Рам Рагхаван, Джон П. Хейс: О случайно чередующихся воспоминаниях. ACM/IEEE Supercomputing Conference 1990: 49-58
  • Аванеендра Гупта, Джон П. Хейс: Иерархический метод для минимальной ширины двумерных ячеек КМОП. VLSI Design 1997: 15-20
  • HyungWon Kim, John P. Hayes: Тестирование задержек сбоев в проектах со встроенными IP-ядрами. IEEE VLSI Test Symposium (VTS) 1999: 160-167
  • Вивек В. Шенде, Адитья К. Прасад, Игорь Л. Марков , Джон П. Хейс: Синтез обратимых логических схем. Труды IEEE по автоматизированному проектированию интегральных схем и систем 22(6): 710-722 (2003) [16]
  • Смита Кришнасвами, Джордж Ф. Виамонтес, Игорь Л. Марков , Джон П. Хейс: Точная оценка надежности и повышение с помощью вероятностных матриц переноса. Автоматизация проектирования и испытания в Европе (DATE) 2005: 282-287 [17]
  • Пай-Шун Тин, Джон П. Хейс: Устранение скрытого источника ошибок в стохастических схемах. Международный симпозиум IEEE по дефектам и отказоустойчивости в СБИС и нанотехнологических системах (DFT) 2017: 1-6. [18]

Известные студенты

Ссылки

  1. ^ ab Профиль факультета Архивировано 24 августа 2007 г. в Wayback Machine , Мичиганский университет, получено 20 февраля 2012 г.
  2. ^ abc "Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре". Мичиганский университет компьютерных наук и инженерии. 22 мая 2023 г.
  3. ^ "Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре". Computer Science and Engineering . Получено 24 октября 2023 г. .
  4. ^ ab Премия выдающимся выпускникам (2004): Джон П. Хейс (MSEE '67, PhD '70), Univ. of Illinois, получено 20.02.2012.
  5. ^ Хейс, Дж. П.; Мадж, Т. Н.; Стаут , К. Ф.; Колли, С.; Палмер, Дж. (1986), «Архитектура гиперкубического суперкомпьютера», Труды Международной конференции по параллельной обработке , стр.  653–660.
  6. ^ Хейс, Дж. П.; Мадж, Т.; Стаут, К. Ф.; Колли, С.; Палмер, Дж. (1986), «Суперкомпьютер с гиперкубом на базе микропроцессора», IEEE Micro , 6 (5): 6–17 , doi :10.1109/MM.1986.304707, S2CID  7927930. Ли, TC; Хейс, JP (1992), «Отказоустойчивая схема связи для гиперкубических компьютеров», IEEE Transactions on Computers , 41 (10): 1242– 1256, doi :10.1109/12.166602.
  7. ^ Харари, Фрэнк ; Хейс, Джон П.; Ву, Хорнг-Джих (1988), «Обзор теории графов гиперкуба», Компьютеры и математика с приложениями , 15 (4): 277– 289, doi :10.1016/0898-1221(88)90213-1, hdl : 2027.42/27522 , MR  0949280.
  8. ^ Хейс, Дж. П. (1976), «Графовая модель для отказоустойчивых вычислительных систем», IEEE Transactions on Computers , C-25 (9): 875– 884, doi : 10.1109/TC.1976.1674712, S2CID  24323472.
  9. ^ Шенде, В.В.; Прасад, АК; Марков, ИЛ; Хейс, Дж.П. (2003), «Синтез обратимых логических схем», Труды IEEE по автоматизированному проектированию интегральных схем и систем , 22 (6): 710–722 , arXiv : quant-ph/0207001 , doi :10.1109/TCAD.2003.811448.
  10. ^ Alaghi, A.; Hayes, JP (2013). «Обзор стохастических вычислений». ACM Transactions on Embedded Computing Systems . 12 (2s): 1. doi :10.1145/2465787.2465794. S2CID  4689958.
  11. ^ Член IEEE класса 1985 г. Архивировано 29 июня 2011 г. на Wayback Machine , извлечено 20 февраля 2012 г.
  12. ^ Цитата о награде ACM Fellow, получена 20 февраля 2012 г.
  13. ^ "Медаль за пожизненный вклад TTTC". Техническое сообщество IEEE Test Technology . Получено 30 июля 2023 г.
  14. ^ "Джон П. Хейс отмечен премией ACM SIGDA Pioneering Achievement Award". Университет компьютерных наук и инженерии Мичигана. 4 ноября 2014 г.
  15. ^ "Премия за новаторские достижения SIGDA". Специальная группа по интересам ACM по автоматизации проектирования. 18 июня 2019 г. Получено 5 августа 2023 г.
  16. ^ "IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award | IEEE Council on Electronic Design Automation". ieee-ceda.org . Получено 13 августа 2023 г. .
  17. ^ "Best Paper Awards DATE 2006" (PDF) . Получено 12 августа 2023 г.
  18. ^ "Исследователи из Мичигана получили награду за лучшую статью на DFT 2017". Университет Мичигана, компьютерные науки и инженерия. 10 ноября 2017 г.
  • Математическая генеалогия
Взято с "https://en.wikipedia.org/w/index.php?title=John_P._Hayes&oldid=1245482656"