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

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

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

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

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

1978 年にInmosが設立されると、メイはマイクロコンピュータ アーキテクチャの開発に携わり、トランスピュータの主任設計者となり、関連するプログラミング言語Occamの設計者となった。これは彼の以前の研究を拡張するものであり、当時CSPに取り組み、Inmos のコンサルタントを務めていた トニー ホアの影響も受けた。

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

メイは、トニー・ホーアおよびオックスフォード大学のプログラミング研究グループと緊密に協力し、T800浮動小数点ユニットとT9000トランスピュータの設計に形式検証技術を導入しました。これらは、仕様、正確性を保つ変換、モデル チェックを含むマイクロプロセッサ設計における形式検証の最も初期の使用例であり、オックスフォードで開発された FDR チェッカーの初期バージョンを生み出しました。

1995年、メイ氏はブリストル大学にコンピュータサイエンスの教授として着任。1995年から2006年までコンピュータサイエンス学部長を務めた。現在もブリストル大学の教授を務めながら、2005年に共同設立した同大学のスピンアウト企業であるXMOSを支援している。XMOSの前は、 Picochipに携わり、オリジナルの命令セットを作成した。

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

1990年、メイはサウサンプトン大学より名誉理学博士号を授与され、続いて1991年に王立協会フェローに選出され、1992年には 物理学協会よりクリフォード・パターソン・メダルおよび賞を受賞した。

2010年に王立工学アカデミーのフェロー^{[2]に選出された[3]}。

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

ソフトウェアの効率は18ヶ月ごとに半減し、ムーアの法則を相殺します。^[4]