Джон П. Хейс

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

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

Биография

Хейс родился и вырос в Ньюбридже, Ирландия. ^{[ 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 г.

Внешние ссылки

Математика Генеалогия

[um-1] Jump up to: ^а ^б Профиль факультета. Архивировано 24 августа 2007 г. в Wayback Machine , Univ. Мичигана, получено 20 февраля 2012 г.

[retired-2] Jump up to: ^а ^б ^с «Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре» . Мичиганский университет компьютерных наук и инженерии. 22 мая 2023 г.

[3] «Профессор Джон П. Хейс уходит на пенсию после полувека работы в компьютерной архитектуре» . Информатика и инженерия . Проверено 24 октября 2023 г.

[daa-4] Jump up to: ^а ^б Премия выдающимся выпускникам (2004 г.): Джон П. Хейс (MSEE '67, доктор философии '70) , Univ. штата Иллинойс, получено 20 февраля 2012 г.

[5] Хейс, JP; Мадж, Теннесси; Стаут, QF; Колли, С.; Палмер, Дж. (1986), «Архитектура суперкомпьютера-гиперкуба», Proc. Международная конференция по параллельной обработке , стр. 653–660 .

[6] Хейс, 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 .

[7] Харари, Фрэнк ; Хейс, Джон П.; Ву, Хорнг-Джых (1988), «Обзор теории графов гиперкубов», Computers & Mathematics with Applications , 15 (4): 277–289, doi : 10.1016/0898-1221(88)90213-1 , hdl : 2027.42/27522 , МР 0949280 .

[8] Хейс, Дж. П. (1976), «Графовая модель для отказоустойчивых вычислительных систем», Транзакции IEEE на компьютерах , 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] Алаги, А.; Хейс, JP (2013). «Обзор стохастических вычислений». Транзакции ACM во встроенных вычислительных системах . 12 (2 с): 1. дои : 10.1145/2465787.2465794 . S2CID 4689958 .

[11] Класс IEEE Fellow 1985 г. Архивировано 29 июня 2011 г. на Wayback Machine , получено 20 февраля 2012 г.

[12] Цитата о награде ACM Fellow , получено 20 февраля 2012 г.

[13] «Медаль за пожизненный вклад ТТТС» . Техническое сообщество IEEE Test Technology . Проверено 30 июля 2023 г.

[14] «Джон П. Хейс награжден премией ACM SIGDA за новаторские достижения» . Мичиганский университет компьютерных наук и инженерии. 4 ноября 2014 г.

[15] «Награда SIGDA за новаторские достижения» . Специальная группа ACM по автоматизации проектирования. 18 июня 2019 года . Проверено 5 августа 2023 г.

[16] «Транзакции IEEE по автоматизированному проектированию. Премия Дональда О. Педерсона за лучшую статью | Совет IEEE по автоматизации электронного проектирования» . ieee-ceda.org . Проверено 13 августа 2023 г.

[17] «Награда за лучшую бумагу 2006 г.» (PDF) . Проверено 12 августа 2023 г.

[18] «Исследователи из Мичигана получили награду за лучшую статью на DFT 2017» . Мичиганский университет компьютерных наук и инженерии. 10 ноября 2017 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БНФ Германия Израиль Соединенные Штаты Швеция Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии
Другой	ИдРеф