Arvind Mithal (18 de mayo de 1947 - 17 de junio de 2024), conocido como Arvind , fue un científico informático indio, profesor Johnson de Ciencias de la Computación e Ingeniería en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial (CSAIL) del Instituto Tecnológico de Massachusetts (MIT). Fue miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) y de la Asociación de Maquinaria Computacional (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 alto nivel de hardware de electrónica digital .
Los intereses de investigación de Arvind incluyeron 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 de computación paralela y lenguajes de programación . [2]
El trabajo anterior fue fundamental en el desarrollo de arquitecturas de flujo de datos dinámicos , dos lenguajes paralelos, Id y pH , y la compilación de dichos lenguajes en máquinas paralelas. [2]
En el IIT Kanpur , obtuvo una licenciatura en Ciencias (B.Sc.) en tecnología (con énfasis en ingeniería eléctrica ) en 1969. En ese proceso, descubrió que estaba profundamente interesado en las computadoras. 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ó su tesis de investigación sobre sistemas operativos en modelos matemáticos del comportamiento de los programas. En la Universidad de California, Irvine , donde enseñó entre 1974 y 1978, [2] se interesó en la arquitectura informática y los lenguajes de programación. [3]
Arvind enseñó en el campus de Kanpur del IIT en 1977 y 1978. [2] En 1978, se unió a la facultad del MIT. [4] Se desempeñó como Asesor Técnico Principal del proyecto de Sistemas Informáticos Basados en el Conocimiento patrocinado por las Naciones Unidas en la India de 1986 a 1992. Durante 1992-93, fue Profesor Visitante de Fujitsu en la Universidad de Tokio . [ cita requerida ]
En 1992, Arvind y su equipo CSAIL colaboraron con Motorola para completar la máquina de flujo de datos Monsoon y el software asociado. Se instalaron una docena de Monsoon en el Laboratorio Nacional de Los Álamos y otras universidades antes de que Monsoon se retirara al Museo de Historia de la Computación en California. En 2000, Arvind se tomó dos años de descanso de la docencia en el MIT para crear Sandburst, Inc., una empresa de fabricación de semiconductores sin fábrica. Se desempeñó como su presidente hasta su regreso al MIT en 2002. [ cita requerida ] En 2006, Sandburst fue adquirida por Broadcom Corporation . [ 5 ]
En 2003, cofundó Bluespec , Inc., con sede en Waltham, Massachusetts . Produce conjuntos de herramientas de síntesis de automatización de diseño electrónico (EDA) probados. [6] Con Lennart Augustsson , Arvind codesarrolló el lenguaje de programación Bluespec SystemVerilog (BSV), un lenguaje de descripción de hardware de programación funcional de alto nivel , que es una variante de Haskell extendida para manejar el diseño de chips y la automatización del diseño electrónico en general. [7] [8] También trabajó con el lenguaje relacionado con Bluespec Minispec . [9]
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 desempeñó como presidente del jurado de Ingeniería y Ciencias de la Computación para el Premio Infosys desde 2019 en adelante. [10]
Arvind fue el primero en ocupar la Cátedra N. Rama Rao en el Departamento de Ciencias Informáticas e Ingeniería del IIT. Se desempeñó como presidente entre 1998 y 1999. También durante este tiempo enseñó algunas semanas cada semestre en el departamento de Ciencias Informáticas del IIT, Kanpur. [11]
Las investigaciones posteriores de Arvind utilizaron sistemas de reescritura de términos (TRS) para la especificación y descripción de alto nivel de arquitecturas y protocolos. El Grupo de Estructuras Computacionales del MIT, que él dirigía, utiliza TRS para diseñar hardware más rápido y permitir una mayor exploración de diseños. [ cita requerida ]
Arvind murió el 17 de junio de 2024, a la edad de 77 años. [9]
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 que ha escrito o coescrito y que se han publicado:
Arvind también formó parte del consejo editorial de varias revistas, entre ellas el Journal of Parallel and Distributed Computing y el Journal of Functional Programming .
Arvind recibió los siguientes premios: el premio Charles Babbage de la IEEE Computer Society (1994), el premio al alumno distinguido del IIT Kanpur (1999), el premio al alumno distinguido de la Universidad de Minnesota (2001), [12] y el premio al logro sobresaliente de la Universidad de Minnesota (2008). [13] [14]
Fue seleccionado como miembro del IEEE en 1994 y miembro del ACM en 2006. [15] Fue elegido miembro de la Academia Nacional de Ingeniería en 2008 y fue miembro del Laboratorio de Ciencias de la Computación e Inteligencia Artificial (CSAIL) del MIT. [13]
[it] es básicamente Haskell con algunas construcciones sintácticas adicionales para el
sistema de reescritura de términos
(TRS) que describe lo que hace el hardware. El sistema de tipos se ha ampliado con tipos de tipo numérico.