ジョン・P・ヘイズ

ジョン・パトリック・ヘイズはアイルランド系アメリカ人のコンピュータ科学者、電気技術者であり、ミシガン大学のクロード・E・シャノン工学科学教授です。^[1]彼は35人以上の博士課程の学生を指導し、7冊の本と340以上の査読付き出版物を共著しました。^[2]彼のエルデシュ数は2です。

ヘイズはアイルランドのニューブリッジで生まれ育ち^[3]、アイルランド国立大学ダブリン校で学士課程を修了し、1965年に卒業した。その後、イリノイ大学アーバナ・シャンペーン校で大学院課程に進み、1967年に修士号、1970年に博士号を取得した。 ^[4]彼はILLIAC IIIの入出力チャネル制御ユニットの論理設計を担当した。^[2]シェル社でハーグで2年間働いた後、学界に戻り、1972年に南カリフォルニア大学の教授に就任した。1979年、ヘイズはスタンフォード大学の客員准教授となった。1982年にミシガンに移り、高度コンピュータアーキテクチャ研究所の創設所長を務めた。^[1]ヘイズは2023年にミシガン大学を退職した。^[2]

ヘイズは本の著者である

• デジタルシステム設計とマイクロプロセッサ（McGraw-Hill、1984年、ISBN  0-07-027367-7）
• デジタルロジックデザイン入門（Addison-Wesley、1993年、ISBN 978-0-201-15461-0） 
• コンピュータアーキテクチャと組織（第3版、McGraw-Hill、2002年、ISBN 978-0-07-286198-3） 
• 量子回路シミュレーション（George F. Viamontes およびIgor L. Markovとの共著、Springer、2009 年、ISBN 978-90-481-3064-1） 
• 不確実性下における論理回路の設計、分析、テスト（Smita Krishnaswamy およびIgor L. Markovとの共著、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]}

• John P. Hayes、Trevor N. Mudge、Quentin F. Stout、Stephen Colley、John Palmer: マイクロプロセッサベースのハイパーキューブスーパーコンピュータ。IEEE Micro 6(5): 6-17 (1986)
• ラム・ラガヴァン、ジョン・P・ヘイズ：ランダムにインターリーブされたメモリについて。ACM /IEEE スーパーコンピューティング カンファレンス1990：49-58
• Avaneendra Gupta、John P. Hayes: 2次元CMOSセルの最小幅レイアウトのための階層的手法。VLSI Design 1997: 15-20
• HyungWon Kim、John P. Hayes: 組み込み IP コアを使用した設計の遅延故障テスト。IEEE VLSI テストシンポジウム (VTS) 1999: 160-167
• Vivek V. Shende、Aditya K. Prasad、Igor L. Markov、John P. Hayes:可逆論理回路の合成。IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 22(6): 710-722 (2003) ^[16]
• スミタ・クリシュナスワミ、ジョージ・F・ビアモンテス、イゴール・L・マルコフ、ジョン・P・ヘイズ：確率的伝達行列による正確な信頼性評価と強化。ヨーロッパにおける設計自動化とテスト（DATE）2005：282-287 ^[17]
• Pai-Shun Ting、John P. Hayes：確率回路における隠れたエラー源の除去。VLSIおよびナノテクノロジーシステムにおける欠陥とフォールトトレランスに関するIEEE国際シンポジウム（DFT）2017：1-6。^[18]

• クリシュネンドゥ・チャクラバーティ(アリゾナ州立大学)
• ショーン・ブラントン( CMU )

• 数学の系譜