Арвинд (ученый-компьютерщик)
Арвинд | |
|---|---|
| Рожденный | Арвинд Митал 18 мая 1947 г. |
| Умер | 17 июня 2024 г. (77 лет) |
| Национальность | Индийский [ нужна ссылка ] |
| Образование | ИИТ Канпур ( бакалавр наук, 1969 г. ) Университет Миннесоты ( магистр наук , 1972 г., доктор философии , 1973 г.) |
| Известный | Формальная верификация крупных цифровых систем Разработка архитектур динамических потоков данных параллельных вычислений Языки программирования Id, pH Компиляция языков на параллельных машинах |
| Супруг | Гита Сингх |
| Дети | 2 |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Калифорнийский университет, Ирвин Индийские технологические институты Массачусетский технологический институт (MIT) Токийский университет Песчаный взрыв Блюспек |
| Диссертация | Модели для сравнения алгоритмов управления памятью (1973) |
| Докторантура | Ричард Йеркс Кейн |
| Докторанты | |
Арвинд Митал (18 мая 1947 — 17 июня 2024), известный мононимно как Арвинд , был индийским ученым-компьютерщиком, профессором компьютерных наук и инженерии Джонсона в Лаборатории компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического института (MIT). ). Он был членом Института инженеров по электротехнике и электронике (IEEE) и Ассоциации вычислительной техники (ACM). Он также был избран членом Национальной инженерной академии в 2008 году. [1] за вклад в поток данных и многопоточные вычисления, а также за разработку инструментов для высокоуровневого синтеза электроники аппаратного обеспечения цифровой .
Карьера
[ редактировать ]Исследовательские интересы Арвинда включали формальную верификацию крупномасштабных цифровых систем с использованием защищенных атомарных действий, моделей памяти и протоколов когерентности кэша для параллельных вычислений архитектур и языков программирования . [2]
Прошлые работы сыграли важную роль в разработке архитектур динамических потоков данных , двух параллельных языков, Id и pH , и компиляции таких языков на параллельных машинах. [2]
В ИИТ Канпура он получил степень бакалавра наук (BSc) в области технологий (с упором на электротехнику ) в 1969 году. В ходе этого процесса он обнаружил, что сильно интересуется компьютерами. Затем в Университете Миннесоты он получил степень магистра наук (M.Sc.) в области компьютерных наук в 1972 году и степень доктора философии (Ph.D.) в области компьютерных наук в 1973 году. [3]
Арвинд провел диссертацию по операционным системам на математических моделях поведения программ. В Калифорнийском университете в Ирвайне , где он преподавал с 1974 по 1978 год, [2] он заинтересовался компьютерной архитектурой и языками программирования. [3]
Арвинд преподавал в кампусе ИИТ в Канпуре в 1977 и 1978 годах. [2] В 1978 году он поступил на факультет Массачусетского технологического института. [4] С 1986 по 1992 год он работал главным техническим советником в проекте «Компьютерные системы, основанные на знаниях», спонсируемом Организацией Объединенных Наций, в Индии. В 1992–93 годах он был приглашенным профессором Fujitsu в Токийском университете . [ нужна ссылка ]
В 1992 году Арвинд и его команда CSAIL совместно с Motorola завершили работу над машиной потока данных Monsoon и соответствующим программным обеспечением. Дюжина компьютеров «Муссон» была установлена в Национальной лаборатории Лос-Аламоса и других университетах, прежде чем «Муссон» был отправлен в Музей истории компьютеров в Калифорнии. В 2000 году Арвинд взял двухлетний перерыв в преподавании в Массачусетском технологическом институте, чтобы основать Sandburst, Inc., компанию по производству полупроводников, не имеющую собственного капитала. Он занимал пост президента до своего возвращения в Массачусетский технологический институт в 2002 году. [ нужна ссылка ] В 2006 году Sandburst была приобретена Broadcom Corporation . [5]
В 2003 году он стал сооснователем компании Bluespec , Inc., штаб-квартира которой находится в Уолтеме, штат Массачусетс . Они производят проверенные наборы инструментов синтеза для автоматизации электронного проектирования (EDA). [6] Вместе с Леннартом Аугустссоном Арвинд разработал язык программирования Bluespec SystemVerilog высокого уровня функционального программирования (BSV), язык описания аппаратного обеспечения , который представляет собой вариант Haskell , расширенный для управления проектированием микросхем и автоматизацией электронного проектирования в целом. [7] [8] Он также работал с языком Minispec , связанным с Bluespec . [9]
Он занимал должность генерального председателя Международной конференции по суперкомпьютерам, проходившей в Кембридже, штат Массачусетс, в июне 2005 года. [ нужна ссылка ] он также занимал пост председателя жюри премии Infosys в области инженерных и компьютерных наук. С 2019 года [10]
Арвинд был первым, кто занял кафедру Н. Рамы Рао на факультете компьютерных наук и инженерии ИИТ. Он занимал должность председателя с 1998 по 1999 год. Также в это время он преподавал несколько недель каждый семестр на факультете CSE ИИТ в Канпуре. [11]
В более поздних исследованиях Арвинда использовались системы переписывания терминов (TRS) для высокоуровневой спецификации и описания архитектур и протоколов. Группа вычислительных структур в Массачусетском технологическом институте, которую он возглавлял, использует TRS для разработки более быстрого оборудования и позволяет более детально исследовать проекты. [ нужна ссылка ]
Смерть
[ редактировать ]Арвинд умер 17 июня 2024 года в возрасте 77 лет. [9]
Опубликованные работы
[ редактировать ]Вместе с Р.С. Нихилом Арвинд опубликовал книгу «Неявное параллельное программирование в pH» в 2001 году. «pH» — это язык программирования, основанный на Haskell со специальной поддержкой параллельной обработки.
Среди наиболее значимых и/или недавних опубликованных статей, автором или соавтором которых он является:
- Джеймс Хо и Арвинд, «Оперативно-ориентированные описания и синтез аппаратного обеспечения», IEEE TCAD, сентябрь 2004 г.
- Хари Балакришнан, Шринивас Девадас, Дуг Элерт и Арвинд, «Гарантии скорости и защита от перегрузки в коммутаторах с очередями ввода», IEEE Infocom, март 2004 г.
- Дэн Розенбанд и Арвинд, «Модульное планирование защищенных атомарных действий», DAC41, июнь 2004 г.
- Арвинд, Р. С. Нихил, Дэниел Розенбанд и Нирав Дэйв, «Высокоуровневый синтез: важный ингредиент для проектирования сложных ASIC», ICCAD'04, ноябрь 2004 г.
Арвинд также входил в редакционную коллегию нескольких журналов, включая Journal of Parallel and Distributed Computing и Journal of Functional Programming .
Награды
[ редактировать ]Арвинд получил следующие награды: премию Чарльза Бэббиджа компьютерного общества IEEE (1994 г.), премию выдающегося выпускника ИИТ Канпура (1999 г.), премию выдающегося выпускника Университета Миннесоты (2001 г.), [12] и Премия Университета Миннесоты за выдающиеся достижения (2008 г.). [13] [14]
Он был выбран членом IEEE в 1994 году и членом ACM в 2006 году. [15] Он был избран членом Национальной инженерной академии в 2008 году и был членом Лаборатории компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического института. [13]
Ссылки
[ редактировать ]- ^ «Новости национальных академий» . Национальные академии. Архивировано из оригинала 10 февраля 2008 года . Проверено 8 февраля 2008 г.
- ^ Jump up to: а б с д «CSAIL, MIT» . Массачусетский технологический институт.
- ^ Jump up to: а б «Новости УМН» . Университет Миннесоты . Архивировано из оригинала 18 июня 2010 года.
- ^ «Информационный офис МТИ» . Массачусетский технологический институт. 28 октября 1992 года. Архивировано из оригинала 25 февраля 2021 года . Проверено 26 марта 2021 г.
- ^ «Корпорация Сэндбёрст» . Блумберг Бизнесуик. Архивировано из оригинала 5 октября 2012 года.
- ^ «О Блюспек» . Bluespec. Архивировано из оригинала 18 июня 2010 года.
- ^ Худак, Павел ; Хьюз, Джон ; Пейтон Джонс, Саймон ; Уодлер, Филип Уодлер (9–10 июня 2007 г.). «История Haskell: лень с классами». HOPL III: Материалы третьей конференции ACM SIGPLAN по истории языков программирования . Сан-Диего, Калифорния: Ассоциация вычислительной техники. стр. 12-1–12-55. дои : 10.1145/1238844.1238856 . S2CID 52847907 .
[это] по сути Haskell с некоторыми дополнительными синтаксическими конструкциями для термина «система переписывания терминов» (TRS), который описывает, что делает оборудование. Система типов была расширена за счет типов числового вида.
- ^ Пейтон Джонс, Саймон (июнь 2007 г.). История Haskell: лень с классами . Исследование Microsoft (отчет). Архивировано из оригинала 19 сентября 2023 года . Проверено 16 сентября 2023 г.
- ^ Jump up to: а б Зеве, Адам (18 июня 2024 г.). «Арвинд, давний профессор Массачусетского технологического института и плодовитый ученый-компьютерщик, умер в возрасте 77 лет» . Новости МТИ . Массачусетский технологический институт. Архивировано из оригинала 19 июня 2024 года . Проверено 19 июня 2024 г.
- ^ «Приз Infosys – жюри 2020» . Infosys-science-foundation.com . Архивировано из оригинала 29 ноября 2020 года . Проверено 9 декабря 2020 г.
- ^ «Профессор кафедры Н. Рамо Рао» . ИИТ, Канпур. Архивировано из оригинала 27 сентября 2006 года.
- ^ «Выдающиеся лауреаты премии выпускников» . Департамент компьютерных наук и инженерии . Университет Миннесоты. Архивировано из оригинала 20 июня 2024 года . Проверено 1 июля 2022 г.
- ^ Jump up to: а б "Биография CSAIL Арвинда" . Массачусетский технологический институт. Архивировано из оригинала 1 июня 2010 года . Проверено 17 августа 2010 г.
- ^ «Лауреаты премии за выдающиеся достижения» . Университетские награды и почести . Университет Миннесоты. Архивировано из оригинала 5 октября 2022 года . Проверено 1 июля 2022 г.
- ^ «ACM называет основателя Bluespec Арвинда, члена ACM 2006» . ЭДАКафе . Архивировано из оригинала 17 сентября 2023 года . Проверено 1 июля 2022 г.
на Хаскеле Программирование |
|---|
- 1947 рождений
- 2024 смерти
- Американские ученые-компьютерщики
- Инженерный факультет Массачусетского технологического института
- Выпускники ИИТ Канпура
- Выпускники Колледжа науки и техники Миннесотского университета
- Члены IEEE
- Члены Ассоциации вычислительной техники 2006 г.
- Американцы индийского происхождения
- Члены Американской академии искусств и наук
- Члены Национальной инженерной академии США
- Индийские эмигранты в США