Arvind es profesor Johnson de Ciencias de la Computación e Ingeniería en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial (CSAIL) en el Instituto de Tecnología de Massachusetts (MIT). Es miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) y de la Asociación de Maquinaria de Computación (ACM). También fue elegido miembro de la Academia Nacional de Ingeniería en 2008 [1] por sus contribuciones al flujo de datos y la computación multiproceso y el desarrollo de herramientas para la síntesis de hardware de alto nivel.
Arvind | |
---|---|
Nació | |
Nacionalidad | India |
Educación | Institutos Indios de Tecnología ( B.Sc., 1969 ) Universidad de Minnesota ( M.Sc. , 1972, Ph.D. , 1973) |
Conocido por | Verificación formal de grandes sistemas digitales Desarrollo de arquitecturas de flujo de datos dinámicos Lenguajes de programación de computación paralela Id, pH Lenguajes de compilación en máquinas paralelas |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de California, Irvine Indian Institutes of Technology Instituto de Tecnología de Massachusetts (MIT) Universidad de Tokio Sandburst Bluespec |
Carrera profesional
Los intereses de investigación de Arvind incluyen la verificación formal de sistemas digitales a gran escala utilizando acciones atómicas protegidas, modelos de memoria y protocolos de coherencia de caché para arquitecturas y lenguajes paralelos. [2]
El trabajo anterior fue fundamental en el desarrollo de arquitecturas de flujo de datos dinámicos , dos lenguajes de programación de computación paralelos : Id y pH ; y compilar dichos lenguajes en máquinas paralelas. [2]
En el Instituto Indio de Tecnología (IIT), Kanpur, obtuvo una Licenciatura en Ciencias (B.Sc.) título en tecnología (con énfasis en la ingeniería eléctrica ) en 1969. En ese proceso, descubrió que estaba interesado profundamente en ordenadores. Luego, en la Universidad de Minnesota , obtuvo una Maestría en Ciencias (M.Sc.) en Ciencias de la Computación en 1972, y un Doctorado en Filosofía (Ph.D.) en Ciencias de la Computación en 1973. [3]
Arvind realizó una investigación de tesis en sistemas operativos sobre modelos matemáticos de comportamiento de programas. En la Universidad de California, Irvine , donde enseñó de 1974 a 1978, [2] se interesó por la arquitectura de computadoras y los lenguajes de programación. [3]
Luego, Arvind enseñó en el campus de Kanpur del IIT en 1977 y 1978. [2]
Arvind se unió a la facultad del MIT en 1978. [4]
Se desempeñó como Asesor Técnico Jefe del proyecto de sistemas informáticos basados en el conocimiento patrocinado por las Naciones Unidas en la India de 1986 a 1992. Durante 1992-1993, fue profesor visitante de Fujitsu en la Universidad de Tokio . [ cita requerida ]
En 1992, Arvind y su equipo de CSAIL colaboraron con Motorola para completar la máquina de flujo de datos Monsoon y el software asociado. Se instalaron una docena de Monsoons en el Laboratorio Nacional de Los Alamos y otras universidades antes de que Monsoon fuera retirado al Museo de Historia de la Computación en California. En 2000, Arvind se tomó dos años de la enseñanza en el MIT para construir Sandburst, Inc, una empresa de fabricación de semiconductores sin fábrica . Se desempeñó como presidente hasta que regresó al MIT en 2002. En 2003, cofundó Bluespec , Inc, una empresa de automatización de diseño electrónico (EDA). A partir de 2021[actualizar], es miembro de los consejos de administración de ambas firmas. [ cita requerida ]
En 2006, Sandburst, con sede en Andover, Massachusetts y que ofrece diseños de semiconductores para sistemas de enrutamiento y conmutación de paquetes escalables, fue adquirida por Broadcom Corporation . [5]
Bluespec, Inc., con sede en Waltham, Massachusetts , fabrica conjuntos de herramientas de síntesis de automatización de diseño electrónico comprobadas con silicio. [6]
Se desempeñó como Presidente General de la Conferencia Internacional sobre Supercomputación celebrada en Cambridge, Massachusetts en junio de 2005. [ cita requerida ] También se ha desempeñado como Presidente del Jurado de Ingeniería y Ciencias de la Computación para el Premio Infosys desde 2019 en adelante. [7]
Arvind fue el primero en ocupar la Cátedra N. Rama Rao en el Departamento de Ingeniería y Ciencias de la Computación del IIT. Se desempeñó como presidente de 1998 a 1999. También durante este tiempo enseñó algunas semanas cada semestre en el departamento de CSE de IIT, Kanpur. [8]
La investigación actual de Arvind utiliza un formalismo llamado un plazo reescritura del sistema (TRS) para la especificación de alto nivel y la descripción de arquitecturas y protocolos. En el Grupo de Estructuras de Computación del MIT, que él dirige, se está trabajando en el uso de TRS para diseñar hardware más rápido y permitir una mayor exploración de diseños. [ cita requerida ]
Obras publicadas
Junto con RS Nikhil, Arvind publicó el libro Programación paralela implícita en pH en 2001. "pH" es un lenguaje de programación basado en Haskell con soporte especial para procesamiento paralelo.
Entre los artículos más significativos y / o recientes de su autoría o coautoría que se han publicado:
- James Hoe y Arvind, "Descripciones y síntesis de hardware centrado en la operación", IEEE TCAD, septiembre de 2004
- Hari Balakrishnan, Srinivas Devadas, Doug Ehlert y Arvind, "Tasas garantizadas y protección contra sobrecargas en conmutadores de entrada en cola", IEEE Infocom, marzo de 2004.
- Dan Rosenband y Arvind, "Programación modular de acciones atómicas protegidas", DAC41, junio de 2004
- Arvind, RS Nikhil, Daniel Rosenband y Nirav Dave, "Síntesis de alto nivel: un ingrediente esencial para diseñar ASIC complejos", ICCAD'04, noviembre de 2004
Arvind también ha sido miembro del consejo editorial de varias revistas, incluidas Journal of Parallel and Distributed Computing y Journal of Functional Programming .
Premios
Arvind ha recibido los siguientes premios: Premio al Alumno Distinguido, Universidad de Minnesota (2001), Premio al Alumno Distinguido, IIT Kanpur (1999) y el Premio Charles Babbage de la IEEE Computer Society (1994) y el Premio al Logro Destacado de la Universidad de Minnesota. [9]
Además, fue seleccionado como miembro de IEEE en 1994 y miembro de ACM . Fue miembro de la Academia Nacional de Ingeniería en 2008 y actualmente es miembro del Laboratorio de Ciencias de la Computación e Inteligencia Artificial (CSAIL) del MIT. [9]
Referencias
- ^ "Noticias de academias nacionales" . Academias Nacionales.
- ^ a b c d "CSAIL, MIT" . MIT.
- ^ a b "Noticias UMN" . Universidad de Minnesota . Archivado desde el original el 18 de junio de 2010.
- ^ "Oficina de noticias del MIT" . MIT.
- ^ "Sandburst Corporation" . Bloomberg Businessweek.
- ^ "Acerca de Bluespec" . Bluespec. Archivado desde el original el 18 de junio de 2010.
- ^ "Premio Infosys - Jurado 2020" . www.infosys-science-foundation.com . Consultado el 9 de diciembre de 2020 .
- ^ "Catedrático N. Ramo Rao" . IIT, Kanpur. Archivado desde el original el 27 de septiembre de 2006.
- ^ a b "Biografía de CSAIL Arvind" . MIT.