Джон П. Хейс
Джон Патрик Хейс — ирландско-американский ученый-компьютерщик и инженер-электрик , заведующий кафедрой инженерных наук Клода Э. Шеннона в Мичиганском университете . [1] Он руководил более 35 докторантами, был соавтором семи книг и более 340 рецензируемых публикаций. [2] Его номер Эрдеша — 2.
Джон П. Хейс | |
|---|---|
| Национальность | Американский |
| Альма-матер | Университет Иллинойса в Урбане-Шампейне |
| Известный | учебник по архитектуре компьютера; исследования в области тестирования схем, квантовых и стохастических вычислений |
| Награды | IEEE Computer Society Test Technology за пожизненный вклад Медаль технического сообщества |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Мичиганский университет |
| Докторантура | Гернот Альберт Метце |
| Докторанты | Шон Блэнтон , Кришненду Чакрабарти |
Биография
[ редактировать ]Хейс родился и вырос в Ньюбридже, Ирландия. [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]
Награды и почести
[ редактировать ]Хейс стал научным сотрудником IEEE в 1985 году «за вклад в методы цифрового тестирования, теорию переключения и логическое проектирование». [11] и стипендиат ACM в 2001 году «за выдающийся вклад в проектирование и тестирование логики, а также в отказоустойчивую компьютерную архитектуру». [12] В 2004 году Университета Иллинойса в Урбане-Шампейне вручил ему награду выдающегося выпускника. факультет электротехники и вычислительной техники [4]
В 2013 году Техническое сообщество тестовых технологий IEEE Computer Society наградило Хейса медалью за пожизненный вклад. [13]
В 2014 году Хейс был удостоен награды ACM Special Interest Group за новаторские достижения в области автоматизации проектирования «за новаторский вклад в логическое проектирование, отказоустойчивые вычисления и тестирование». [14] [15]
Награды за лучшую бумагу
[ редактировать ]- Джон П. Хейс, Тревор Н. Мадж, Квентин Ф. Стаут, Стивен Колли, Джон Палмер: Суперкомпьютер Hypercube на базе микропроцессора. IEEE Micro 6(5): 6-17 (1986)
- Рам Рагхаван, Джон П. Хейс: О случайно перемежающихся воспоминаниях. Конференция по суперкомпьютерам ACM/IEEE , 1990: 49-58.
- Аванеендра Гупта, Джон П. Хейс: Иерархический метод компоновки двумерных КМОП-ячеек минимальной ширины. Проектирование СБИС 1997: 15-20.
- Хюнгвон Ким, Джон П. Хейс: Задержка тестирования конструкций со встроенными IP-ядрами. Испытательный симпозиум IEEE VLSI (VTS), 1999: 160-167.
- Вивек В. Шенде, Адитья К. Прасад, Игорь Л. Марков , Джон П. Хейс: Синтез обратимых логических схем. Транзакции IEEE по автоматизированному проектированию интегральных схем и систем 22 (6): 710-722 (2003). [16]
- Смита Кришнасвами, Джордж Ф. Виамонтес, Игорь Л. Марков , Джон П. Хейс: Точная оценка и повышение надежности с помощью вероятностных передаточных матриц. Автоматизация проектирования и испытания в Европе (ДАТА) 2005: 282-287. [17]
- Пай-Шун Тинг, Джон П. Хейс: Устранение скрытого источника ошибок в стохастических схемах. Международный симпозиум IEEE по дефектам и отказоустойчивости в СБИС и нанотехнологических системах (DFT) 2017: 1-6. [18]
Известные студенты
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б Профиль факультета. Архивировано 24 августа 2007 г. в Wayback Machine , Univ. Мичигана, получено 20 февраля 2012 г.
- ^ Jump up to: а б с «Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре» . Мичиганский университет компьютерных наук и инженерии. 22 мая 2023 г.
- ^ «Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре» . Информатика и инженерия . Проверено 24 октября 2023 г.
- ^ Jump up to: а б Премия выдающимся выпускникам (2004 г.): Джон П. Хейс (MSEE '67, доктор философии '70) , Univ. штата Иллинойс, получено 20 февраля 2012 г.
- ^ Хейс, JP; Мадж, Теннесси; Стаут, QF; Колли, С.; Палмер, Дж. (1986), «Архитектура суперкомпьютера-гиперкуба», Proc. Международная конференция по параллельной обработке , стр. 653–660 .
- ^ Хейс, JP; Мадж, Т.; Стаут, QF; Колли, С.; Палмер, Дж. (1986), «Суперкомпьютер-гиперкуб на базе микропроцессора», IEEE Micro , 6 (5): 6–17, doi : 10.1109/MM.1986.304707 , S2CID 7927930 . Ли, ТК; Хейс, Дж. П. (1992), «Отказоустойчивая схема связи для компьютеров-гиперкубов», IEEE Transactions on Computers , 41 (10): 1242–1256, doi : 10.1109/12.166602 .
- ^ Харари, Фрэнк ; Хейс, Джон П.; Ву, Хорнг-Джых (1988), «Обзор теории графов гиперкубов», Computers & Mathematics with Applications , 15 (4): 277–289, doi : 10.1016/0898-1221(88)90213-1 , hdl : 2027.42/27522 , МР 0949280 .
- ^ Хейс, Дж. П. (1976), «Графовая модель для отказоустойчивых вычислительных систем», Транзакции IEEE на компьютерах , C-25 (9): 875–884, doi : 10.1109/TC.1976.1674712 , S2CID 24323472 .
- ^ Шенде, В.В.; Прасад, АК; Марков, Иллинойс; Хейс, Дж.П. (2003), «Синтез обратимых логических схем», Транзакции IEEE по автоматизированному проектированию интегральных схем и систем , 22 (6): 710–722, arXiv : quant-ph/0207001 , doi : 10.1109/TCAD .2003.811448 .
- ^ Алаги, А.; Хейс, JP (2013). «Обзор стохастических вычислений». Транзакции ACM во встроенных вычислительных системах . 12 (2 с): 1. дои : 10.1145/2465787.2465794 . S2CID 4689958 .
- ↑ Класс IEEE Fellow 1985 г. Архивировано 29 июня 2011 г. на Wayback Machine , получено 20 февраля 2012 г.
- ^ Цитата о награде ACM Fellow , получено 20 февраля 2012 г.
- ^ «Медаль за пожизненный вклад ТТТС» . Техническое сообщество IEEE Test Technology . Проверено 30 июля 2023 г.
- ^ «Джон П. Хейс награжден премией ACM SIGDA за новаторские достижения» . Мичиганский университет компьютерных наук и инженерии. 4 ноября 2014 г.
- ^ «Награда SIGDA за новаторские достижения» . Специальная группа ACM по автоматизации проектирования. 18 июня 2019 года . Проверено 5 августа 2023 г.
- ^ «Транзакции IEEE по автоматизированному проектированию. Премия Дональда О. Педерсона за лучшую статью | Совет IEEE по автоматизации электронного проектирования» . ieee-ceda.org . Проверено 13 августа 2023 г.
- ^ «Награда за лучшую бумагу 2006 г.» (PDF) . Проверено 12 августа 2023 г.
- ^ «Исследователи из Мичигана получили награду за лучшую статью на DFT 2017» . Мичиганский университет компьютерных наук и инженерии. 10 ноября 2017 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Выпускники Университетского колледжа Дублина
- Американские ученые-компьютерщики
- Американские инженеры-электрики
- Ирландские ученые-компьютерщики
- Члены IEEE
- Члены Ассоциации вычислительной техники 2001 г.
- Выпускники Грейнджерского инженерного колледжа
- Факультет Мичиганского университета
- Преподаватель Университета Южной Калифорнии