WikiDer > Арвинд (ученый-компьютерщик)

Арвинд Митал (обычно называют просто Арвинд) является профессором Джонсона Информатика и Инженерное дело в Лаборатория компьютерных наук и искусственного интеллекта на Массачусетский Институт Технологий. Он член IEEE и ACM, и он был избран в Национальная инженерная академия в 2008.^[1]

Карьера

Научные интересы Арвинда включают: проверка крупномасштабных цифровые системы с использованием защищенных атомарных действий, моделей памяти и протоколов согласования кэша для параллельных архитектур и языков.^[2]

Прошлая работа сыграла важную роль в разработке архитектур динамических потоков данных, языков параллельного программирования, Id и pH; и компиляция этих типов языков на параллельных машинах.^[2]

Арвинд получил степень бакалавра технологий (со специализацией в области электротехники) в Индийском технологическом институте (IIT) в Канпуре в 1969 году. В процессе получения степени он обнаружил, что сильно интересуется компьютерами. Впоследствии Арвинд получил степень магистра компьютерных наук в Университете Миннесоты в 1972 году, а также докторскую степень. получил степень доктора компьютерных наук в Университете Миннесоты в 1973 году.^[3]

Арвинд проводил диссертационные исследования в операционных системах по математическим моделям поведения программ. В Калифорнийском университете в Ирвине, где он преподавал с 1974 по 1978 год,^[2] он заинтересовался компьютерной архитектурой и языками.^[3]

Затем Арвинд преподавал в кампусе IIT в Канпур в 1977 и 1978 годах.^[2]

С 1986 по 1992 год он работал главным техническим советником спонсируемого Организацией Объединенных Наций проекта компьютерных систем на основе знаний в Индии. В 1992–1993 годах он был приглашенным профессором Fujitsu в Токийском университете.^{[нужна цитата]}

В 1992 году Арвинд и его команда CSAIL совместно с Motorola завершили разработку машины для обработки данных Monsoon и связанного с ней программного обеспечения. Дюжина Monsoon была установлена ​​в Национальных лабораториях Лос-Аламоса и других университетах до того, как Monsoon был отправлен в Музей истории компьютеров в Калифорнии. В 2000 году Арвинд взял двухлетний перерыв в преподавании в Массачусетском технологическом институте, чтобы построить Sandburst, полупроводниковую компанию без фабрик. Он был ее президентом, пока не вернулся в Массачусетский технологический институт в 2002 году. В 2003 году он стал соучредителем Bluespec Inc, компании EDA. В настоящее время он входит в советы директоров обеих компаний.^{[нужна цитата]}

В 2006 году компания Sandburst со штаб-квартирой в Андовере, штат Массачусетс, которая поставляла полупроводниковые решения для масштабируемых систем коммутации пакетов и маршрутизации, была приобретена Broadcom Corp.^[4]

Bluespec, Inc. со штаб-квартирой в Уолтхэме, Массачусетс, производит проверенные на кремнии наборы инструментов для автоматизации проектирования электронных устройств.^[5]

Он был генеральным председателем Международной конференции по суперкомпьютерам, проходившей в Кембридже, штат Массачусетс, в июне 2005 года.^{[нужна цитата]}

Арвинд был первым, кто занял кафедру Н. Рама Рао на факультете компьютерных наук и инженерии в IIT. Он занимал должность председателя с 1998 по 1999 год. Также в течение этого времени он преподавал несколько недель каждый семестр на отделении CSE IIT, Канпур.^[6]

Текущее исследование Арвинда использует формализм, известный как системы перезаписи терминов (TRS), для высокоуровневой спецификации и описания архитектур и протоколов. В группе вычислительных структур Массачусетского технологического института, которую он возглавляет, ведется работа по использованию TRS для более быстрого проектирования оборудования и возможности исследования конструкций.^{[нужна цитата]}

Опубликованные работы

Вместе с Р. С. Нихилом книгу издал Арвинд. Неявное параллельное программирование в pH в 2001 году. "pH" - язык программирования, основанный на Haskell со специальной поддержкой параллельной обработки.

Среди наиболее значимых и / или опубликованных недавно опубликованных статей или соавторов:

• Джеймс Хоу и Арвинд, «Операционно-ориентированные описания и синтез оборудования», IEEE TCAD, сентябрь 2004 г.
• Хари Балакришнан, Шринивас Девадас, Дуг Элерт и Арвинд, «Гарантии скорости и защита от перегрузки в коммутаторах с очередью ввода», IEEE Infocom, март 2004 г.
• Дэн Розенбанд и Арвинд, «Модульное планирование защищенных атомных действий», DAC41, июнь 2004 г.
• Арвинд, Р. Никхил, Дэниел Розенбанд и Нирав Дэйв, «Высокоуровневый синтез: важный ингредиент для разработки сложных ASIC», ICCAD'04, ноябрь 2004 г.

Арвинд также входил в редколлегию нескольких журналов, в том числе Журнал параллельных и распределенных вычислений, а Журнал функционального программирования.

Награды

Арвинд получил следующие награды: Премия выдающегося выпускника Университета Миннесоты (2001 г.), Премия выдающегося выпускника Института ИТ. Канпур (1999) и Премия Чарльза Бэббиджа IEEE Computer Society (1994) и награда за выдающиеся достижения Университета Миннесоты.^[7]

Кроме того, он был выбран в качестве научного сотрудника IEEE в 1994 г. Член ACM. Он был членом Национальной инженерной академии в 2008 году и в настоящее время является членом Лаборатории компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического института.^[7]

Рекомендации