デビッドメイ（コンピューター科学者）

マイケルデビッドメイ FRS FREng（1951年2月24日生まれ）は、イギリスのコンピューター科学者です。彼はブリストル大学のコンピューターサイエンス学部の教授であり、XMOSセミコンダクターの創立者であり、2014年2月まで最高技術責任者を務めていました。

メイはトランスピュータの主任建築家でした。 2017年現在、彼はマイクロプロセッサとマルチプロセッシングに関する56件の特許を保有しています。

人生とキャリア

メイはイギリスのヨークシャーのホルムファースで生まれ、ウェイクフィールドのエリザベス女王文法学校に通った。 1969年から1972年まで、彼はケンブリッジ大学キングスカレッジの学生で、最初はケンブリッジ大学数学研究所（現在はケンブリッジ大学コンピューター研究所）で数学を学び、その後コンピューターサイエンスを学びました。

彼はワーウィック大学に移り、ロボット工学の研究を始めました。センシングおよび制御システムの実装の課題により、彼はシリアル通信リンクで接続されたシングルボードマイクロコンピューターのクラスター上で実行される初期の並行プログラミング言語であるEPLを設計および実装することになりました。この初期の仕事により、彼はInmosの創設者の1人であるTony HoareおよびIann Barronと接触しました。

1978年にInmosが設立されたとき、5月はマイクロコンピューターアーキテクチャの仕事に参加し、トランスプログラミングのリードアーキテクトおよび関連プログラミング言語Occamのデザイナーになりました。これは彼の初期の仕事を拡張し、同時にCSPに取り組んでいてInmosのコンサルタントとして働いていたTony Hoareの影響も受けました。

トランスピュータのプロトタイプはSimple 42と呼ばれ、1982年に完成しました。最初の生産トランスピュータであるT212およびT414は1985年に続きました。 1987年にT800浮動小数点トランスピュータ。最初のVLSIパケットスイッチの1つであるC104の設計を、T9000トランスピュータの通信システムとともに開始しました。

5月、Tony HoareおよびOxford UniversityのProgramming Research Groupと緊密に協力して、T800浮動小数点ユニットとT9000トランスピュータの設計に正式な検証技術を導入しました。これらは、仕様、正確性を保持する変換、およびモデルチェックを含むマイクロプロセッサ設計における初期のフォーマル検証の使用であり、オックスフォードで開発されたFDRチェッカーの初期バージョンを生み出しました。

1995年、メイはブリストル大学にコンピューターサイエンスの教授として加わりました。彼は1995年から2006年までコンピューターサイエンス部門の責任者でした。2005年に共同設立した大学のスピンアウトであるXMOSをサポートしながら、ブリストルの教授を続けています。XMOSの前は、指図書。

メイは3人の息子と結婚し、イギリスのブリストルに住んでいます。

賞と表彰

1990年、サウサンプトン大学から名誉DScを授与され、1991年に王立協会のフェローとして選出され、1992年に物理学研究所のパターソン賞を受賞しました。

2010年、彼は王立工学アカデミーのフェローに選出されました。

メイの法則

ムーアの法則に関連して、 メイの法則は次のように述べています。