麻省理工學院長期教授、電腦科學家阿文德去世享年77歲
麻省理工學院計算機科學與工程系查爾斯-W-約翰遜和詹妮弗-C-約翰遜教授、電子工程與計算機科學系(EECS)計算機科學教研室主任、麻省理工學院的中流砥柱阿爾溫德-米塔爾(Arvind Mithal)去世。阿文德生前使用單名,享年77歲。
阿文德是一位多產的研究人員,曾領導電腦科學與人工智慧實驗室(CSAIL)的計算結構小組,在麻省理工學院任教近五十年。
薩利-科恩布魯斯(Sally Kornbluth)校長今天在致麻省理工學院社區的一封信中寫道:”他深受麻省理工學院社區和世界各地無數人的愛戴,他的智慧才華和對生活的熱情激勵著他們。
身為科學家,阿文德因其在資料流運算方面的重要貢獻而聞名,資料流運算旨在優化資料流,以利用並行性,實現更快、更有效率的運算。
在過去的25 年中,他的研究興趣擴展到為微處理器和硬體加速器等複雜數位設備的形式建模、高級綜合和形式驗證開發技術和工具,以及並行計算架構和程式語言的記憶體模型和高速緩存一致性協定。
認識阿文德的人都說他是個罕見的人,他的興趣和專長從高層次的理論形式系統一直到語言和編譯器,再到矽硬體的門和結構。從減少資料中心所需的能源和空間,到簡化更有效率的多核心電腦晶片設計,阿文德的研究成果應用廣泛。
“阿文德既是電腦體系結構和程式語言領域的傑出學者,也是一位兢兢業業的教師,他為我們的學生帶來了系統級思維。他也是一位傑出的學術帶頭人,經常領導課程改革,並以有意義、有影響力的方式為工程理事會做出貢獻。建議。
「阿文德的正能量和他爽朗的笑聲照亮了許多人的生活。他為同事和幾代學生提供了經久不衰的睿智建議。他致力於追求卓越的學術成就,不僅改變了計算機體系結構和並行計算方面的研究,也將這項承諾帶到了他作為電子工程科學系計算機科學教研室主任的工作中。斯-沃倫(Henry Ellis Warren)教授Dan Huttenlocher 說:”他給我們所有有幸與他共事的人留下了持久的影響。”
阿文德在坎普爾印度理工學院求學期間對平行計算產生了濃厚的興趣,並於1969 年獲得該校學士學位。 1972 年和1973 年,他分別獲得明尼蘇達大學電腦科學碩士和博士學位,研究作業系統和程式行為數學模型。 1974 年至1978 年,他在加州大學歐文分校任教,之後加入麻省理工學院。
在麻省理工學院,阿文德的小組研究並行計算和聲明式程式語言,他領導開發了兩種平行計算語言:Id和pH。 1990 年代,他一直致力於這些程式語言的研究,並於2001 年與合著者RS Nikhil 出版了《pH 中的隱式並行程式設計》一書,這是20 多年研究的結晶。
除研究工作外,阿文德也是EECS 的重要學術領導者。他曾擔任該系計算機科學教研室主任,在麻省理工學院蘇世民計算機學院成立後,他在幫助EECS 重組方面發揮了關鍵作用。
「阿文德堅持不懈的積極態度、堅定不移的樂觀主義、無邊無際的慷慨和作為研究人員的非凡力量確實鼓舞人心,給所有有幸認識他的人留下了深刻的印記。我非常感謝他為我們的生活帶來的光明,以及他對我們社區的根本性影響,」電機工程與電腦科學安德魯和埃爾納-維特比教授兼CSAIL 主任Daniela Rus 說。
他在數據流和平行計算方面的工作促成了20 世紀80 年代末和90 年代初的季風項目。阿文德的小組與摩托羅拉公司合作,製造了16 台資料流計算機器,並開發了相關軟體。其中一台Monsoon 資料流電腦現存於加州山景城的電腦歷史博物館。
正如他在2012 年接受電氣和電子工程師學會(IEEE)採訪時所解釋的那樣,20 世紀90 年代,並行計算研究資金開始枯竭,阿文德的工作重心隨之轉移。
他回憶說:”微處理器的速度越來越快,人們認為不需要它了。”
相反,他開始將其團隊在平行程式設計中學習和開發的技術應用到數位硬體的原理設計中。除了指導麻省理工學院的學生和年輕同事,阿文德也為許多國家的大學和政府提供平行程式設計和半導體設計的研究諮詢。基於他在數位硬體設計方面的工作,Arvind 於2000 年創立了Sandburst 公司,這是一家無晶圓廠半導體晶片製造公司。 Sandburst 後來被博通收購。
阿文德和他的學生們還開發了一種程式語言Bluespec,旨在實現晶片設計的自動化。在這項工作的基礎上,他於2003 年與他人共同創辦了新創公司Bluespec, Inc.,致力於開發實用工具,幫助工程師簡化設備設計。
過去十年間,他致力於推動麻省理工學院的本科生教育,為6.004(計算結構)和6.191(深度學習導論)課程引入現代設計工具,並將與Bluespec 密切相關的程式語言Minispec 納入其中。
由於在資料流和多執行緒運算以及硬體高階合成工具開發方面做出的上述貢獻和其他貢獻,Arvind 於2008 年和2012 年分別榮獲美國國家工程院院士和美國藝術與科學院院士稱號。 他也被本科母校印度理工學院坎普爾分校評為傑出校友。
「阿文德不僅是EECS社群的支柱和電腦科學的泰斗,他還是一位受人愛戴的同事和值得珍惜的朋友。我們這些有幸與Arvind 共事和合作的人對他的突然離世感到悲痛欲絕。懷念他。
阿文德曾獲得印度國家科學院院士、美國電腦協會和電氣和電子工程師學會研究員等許多獎項,並於2012年獲得電氣和電子工程師學會頒發的哈里-H-古德紀念獎,該獎項旨在表彰對資訊處理領域的理論或實務做出的重大貢獻。
阿文德是一位謙遜的科學家,他首先指出,這些成就的成就離不開他傑出而出色的合作者。這些合作者中最重要的是他有幸在麻省理工學院共事的本科生和研究生。 據他的家人說,他與這些學生在專業和個人方面都保持著良好的關係,他把這些關係看得比他們一起完成的工作更重要。
在2012 年接受IEEE 採訪時,阿文德這樣總結他在科學上取得成功的關鍵:”真的,一個人必須做自己相信的事情。我認為,我們大多數人的工作水平,如果你每天都不樂在其中,是無法持續的。
他的妻子Gita Singh Mithal、兩個兒子Divakar ’01 和Prabhakar ’04、他們的妻子Leena 和Nisha 以及兩個孫子Maya 和Vikram 均健在。