麻省理工学院长期教授、计算机科学家阿文德去世 享年77岁
6 月 17 日,麻省理工学院计算机科学与工程系查尔斯-W-约翰逊和詹妮弗-C-约翰逊教授、电子工程与计算机科学系(EECS)计算机科学教研室主任、麻省理工学院的中流砥柱阿尔温德-米塔尔(Arvind Mithal)去世。阿文德生前使用单名,享年77岁。
阿文德是一位多产的研究人员,曾领导计算机科学与人工智能实验室(CSAIL)的计算结构小组,在麻省理工学院任教近五十年。
萨利-科恩布鲁斯(Sally Kornbluth)校长今天在致麻省理工学院社区的一封信中写道:"他深受麻省理工学院社区和世界各地无数人的爱戴,他的智慧才华和对生活的热情激励着他们。"
作为一名科学家,阿文德因其在数据流计算方面的重要贡献而闻名,数据流计算旨在优化数据流,以利用并行性,实现更快、更高效的计算。
在过去的 25 年中,他的研究兴趣扩展到为微处理器和硬件加速器等复杂数字设备的形式建模、高级综合和形式验证开发技术和工具,以及并行计算架构和编程语言的内存模型和高速缓存一致性协议。
认识阿文德的人都说他是一个罕见的人,他的兴趣和专长从高层次的理论形式系统一直到语言和编译器,再到硅硬件的门和结构。从减少数据中心所需的能源和空间,到简化更高效的多核计算机芯片设计,阿文德的研究成果应用广泛。
"阿文德既是计算机体系结构和编程语言领域的杰出学者,也是一位兢兢业业的教师,他为我们的学生带来了系统级思维。他还是一位杰出的学术带头人,经常领导课程改革,并以有意义、有影响的方式为工程理事会做出贡献。"首席创新与战略官、工程学院院长、电气工程与计算机科学 Vannevar Bush 讲座教授 Anantha Chandrakasan 说:"我将非常怀念他的睿智建议。"
"阿文德的正能量和他爽朗的笑声照亮了许多人的生活。他为同事和几代学生提供了经久不衰的睿智建议。他致力于追求卓越的学术成就,不仅改变了计算机体系结构和并行计算方面的研究,还将这一承诺带到了他作为电子工程科学系计算机科学教研室主任的工作中。"麻省理工学院苏世民计算机学院院长、电气工程与计算机科学亨利-埃利斯-沃伦(Henry Ellis Warren)教授 Dan Huttenlocher 说:"他给我们所有有幸与他共事的人留下了持久的影响。"
阿文德在坎普尔印度理工学院求学期间对并行计算产生了浓厚的兴趣,并于 1969 年获得该校学士学位。1972 年和 1973 年,他分别获得明尼苏达大学计算机科学硕士和博士学位,研究操作系统和程序行为数学模型。1974 年至 1978 年,他在加州大学欧文分校任教,之后加入麻省理工学院。
在麻省理工学院,阿文德的小组研究并行计算和声明式编程语言,他领导开发了两种并行计算语言:Id 和 pH。20 世纪 90 年代,他一直致力于这些编程语言的研究,并于 2001 年与合著者 R.S. 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 共事和合作的人对他的突然离世感到悲痛欲绝。他的仁慈和幽默坚定不移;他的指导深思熟虑;他的指导是无价之宝。"麻省理工学院苏世民计算机学院副院长兼电子工程与电子技术系主任 Asu Ozdaglar 说:"我们将深深地怀念他。"
阿文德曾获得印度国家科学院院士、美国计算机协会和电气和电子工程师学会研究员等众多奖项,并于2012年获得电气和电子工程师学会颁发的哈里-H-古德纪念奖,该奖旨在表彰对信息处理领域的理论或实践做出的重大贡献。
阿文德是一位谦逊的科学家,他首先指出,这些成就的取得离不开他杰出而出色的合作者。这些合作者中最重要的是他有幸在麻省理工学院共事过的本科生和研究生。 据他的家人说,他与这些学生在专业和个人方面都保持着良好的关系,他把这些关系看得比他们一起完成的工作更重要。
在 2012 年接受 IEEE 采访时,阿文德这样总结他在科学上取得成功的关键:"真的,一个人必须做自己相信的事情。我认为,我们大多数人的工作水平,如果你每天都不乐在其中,是无法持续的。你不能只为结果而工作。你必须努力工作,因为你会说,'我必须知道这个问题的答案',"他说。
他的妻子 Gita Singh Mithal、两个儿子 Divakar '01 和 Prabhakar '04、他们的妻子 Leena 和 Nisha 以及两个孙子 Maya 和 Vikram 均健在。