アルビンド（コンピューター科学者）

アルビンド・ミサル（ Arvind Mithal、1947年5月18日 - 2024年6月17日）は、通称アルビンドと呼ばれたインドのコンピュータ科学者で、マサチューセッツ工科大学（MIT）のコンピュータサイエンスおよび人工知能研究所（CSAIL）のコンピュータサイエンスおよびエンジニアリングのジョンソン教授でした。彼は、電気電子技術者協会（IEEE）および計算機協会（ACM）のフェローでした。彼はまた、データフローおよびマルチスレッドコンピューティングへの貢献と、デジタルエレクトロニクスハードウェアの高水準合成用ツールの開発により、2008年に全米技術アカデミーの会員に選出されました^[1]。

アルビンドの研究対象には、ガード付きアトミックアクション、メモリモデル、並列コンピューティングアーキテクチャとプログラミング言語のキャッシュコヒーレンスプロトコルを使用した大規模デジタルシステムの形式検証が含まれていました。^[2]

過去の研究は、動的データフローアーキテクチャ、2つの並列言語IdとpH、および並列マシン上でのそのような言語のコンパイルの開発に役立ちました。^[2]

1969年、インド工科大学カンプール校で電気工学を専攻し、理学士号（B.Sc.）を取得。その過程で、コンピュータに強い関心があることに気づいた。その後、ミネソタ大学で1972年にコンピュータサイエンスの理学修士号（M.Sc.）を取得し、1973年にはコンピュータサイエンスの博士号（Ph.D.）を取得した。 ^[3]

アルヴィンドは、オペレーティングシステムにおけるプログラム動作の数学的モデルに関する学位論文研究を行った。 1974年から1978年まで教鞭をとっていたカリフォルニア大学アーバイン校^[2]で、彼はコンピュータアーキテクチャとプログラミング言語に興味を持つようになった^{[3] 。}

アルヴィンドは1977年と1978年にインド工科大学カンプール校で教鞭を執った。 ^[2] 1978年にMITの教授に就任。^[4] 1986年から1992年にかけてインドで国連が後援する知識ベースコンピュータシステムプロジェクトの主任技術顧問を務めた。1992年から1993年にかけて東京大学の富士通客員教授を務めた。^[要出典]

1992年、アービンドと彼のCSAILチームはモトローラと協力し、Monsoonデータフローマシンと関連ソフトウェアを完成させた。Monsoonはカリフォルニア州のコンピュータ歴史博物館に展示されるまでに、ロスアラモス国立研究所や他の大学に12台設置された。2000年、アービンドはMITでの教職を2年間休職し、ファブレス半導体製造会社であるSandburst, Incを設立した。彼は2002年にMITに戻るまで同社の社長を務めた。^[要出典] 2006年、SandburstはBroadcom Corporationに買収された。^[5]

2003年、彼はマサチューセッツ州ウォルサムに本社を置くBluespec社を共同設立した。同社は実績のある電子設計自動化（EDA）合成ツールセットを生産している。^[6]レナート・オーガストソンとともに、アルヴィンドはプログラミング言語Bluespec SystemVerilog（BSV）を共同開発した。これは高水準関数型プログラミングハードウェア記述言語であり、チップ設計や電子設計自動化全般を扱うために拡張されたHaskellの派生言語である。 ^{[7] [8]}彼はまた、Bluespec関連の言語Minispecにも携わった。^[9]

彼は2005年6月にマサチューセッツ州ケンブリッジで開催された国際スーパーコンピューティング会議の議長を務めた。 ^[要出典]また、2019年以降はインフォシス賞の工学およびコンピュータサイエンス審査委員長も務めている。 ^[10]

アルヴィンドは、インド工科大学コンピュータサイエンス工学部のN.ラマ・ラオ教授職に就いた最初の人物である。彼は1998年から1999年まで教授を務めた。またこの間、彼はカンプールにあるインド工科大学のCSE学部で各学期に数週間教鞭を執っていた。^[11]

アービンドのその後の研究では、アーキテクチャとプロトコルの高レベルの仕様と記述に項書き換えシステム(TRS) を使用しました。彼が率いた MIT の計算構造グループは、TRS を使用してハードウェアの高速化と設計のさらなる検討を可能にしています。^[要出典]

アルヴィンドは2024年6月17日に77歳で亡くなった。^[9]

Arvind は RS Nikhil とともに、 2001 年に『Implicit parallel programming in pH』という本を出版しました。「pH」は、並列処理を特別にサポートする Haskellベースのプログラミング言語です。

彼が執筆または共著した、出版された最も重要な論文や最近の論文には以下のものがあります。

• James Hoe と Arvind、「操作中心のハードウェア記述と合成」、IEEE TCAD、2004 年 9 月
• Hari Balakrishnan、Srinivas Devadas、Doug Ehlert、および Arvind、「入力キュー スイッチのレート保証と過負荷保護」、IEEE Infocom、2004 年 3 月。
• Dan Rosenband と Arvind、「ガード付きアトミック アクションのモジュール スケジューリング」、DAC41、2004 年 6 月
• Arvind、RS Nikhil、Daniel Rosenband、Nirav Dave、「高レベル合成: 複雑な ASIC の設計に不可欠な要素」、ICCAD'04、2004 年 11 月

Arvind 氏は、『 Journal of Parallel and Distributed Computing』や『Journal of Functional Programming』など、いくつかの雑誌の編集委員も務めました。

アルヴィンドは、IEEEコンピュータ協会チャールズ・バベッジ賞（1994年）、インド工科大学カンプール校優秀卒業生賞（1999年）、ミネソタ大学優秀卒業生賞（2001年）^[12]、ミネソタ大学優秀業績賞（2008年）を受賞しました。^{[13] [14]}

彼は1994年にIEEEフェローに選ばれ、2006年にはACMフェローに選ばれた^{。[15] 2008年には}米国技術アカデミーに選出され、MITのコンピュータ科学および人工知能研究所（CSAIL）のメンバーであった。^[13]