Arvind Mithal
| Arvind Mithal | |
|---|---|
| Nascimento | 18 de maio de 1947 Índia |
| Morte | 17 de junho de 2024 (77 anos) |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | cientista de computação, engenheiro |
| Distinções | Prêmio Memorial Harry H. Goode (2012) |
| Empregador(a) | Instituto de Tecnologia de Massachusetts |
| Instituições | Instituto de Tecnologia de Massachusetts |
Arvind Mithal (18 de maio de 1947 – 17 de junho de 2024) foi um informático estadunidense.[1]
Carreira
[editar | editar código-fonte]Os interesses de pesquisa de Arvind incluíam a verificação formal de sistemas digitais de grande escala usando ações atômicas protegidas, modelos de memória e protocolos de coerência de cache para arquiteturas de computação paralela e linguagens de programação.[2]
Trabalhos anteriores foram fundamentais no desenvolvimento de arquiteturas dinâmicas de fluxo de dados, duas linguagens paralelas, Id e pH, e na compilação de tais linguagens em máquinas paralelas.[2]
No IIT Kanpur, ele obteve um bacharelado em tecnologia (B.Sc.) em tecnologia (com ênfase em engenharia elétrica) em 1969. Nesse processo, ele descobriu que estava muito interessado em computadores. Em seguida, na Universidade de Minnesota, obteve um mestrado (M.Sc.) em ciência da computação em 1972, e um doutorado em ciência da computação em 1973.[2]
Arvind realizou sua pesquisa de tese em sistemas operacionais sobre modelos matemáticos de comportamento de programas. Na Universidade da Califórnia, Irvine, onde lecionou de 1974 a 1978, por arquitetura de computadores e linguagens de programação.[3]
Arvind lecionou no campus de Kanpur do IIT em 1977 e 1978. Em 1978, ele se juntou ao corpo docente do MIT.[4] Ele serviu como Conselheiro Técnico Chefe do projeto Knowledge Based Computer Systems patrocinado pelas Nações Unidas na Índia de 1986 a 1992. Durante 1992-93, ele foi o Professor Visitante Fujitsu na Universidade de Tóquio.[3]
Em 1992, Arvind e sua equipe CSAIL colaboraram com a Motorola na conclusão da máquina de fluxo de dados Monsoon e software associado. Uma dúzia de Monções foram instaladas no Laboratório Nacional de Los Alamos e em outras universidades antes de Monsoon ser aposentado para o Museu de História do Computador na Califórnia. Em 2000, Arvind tirou dois anos de aulas no MIT para construir a Sandburst, Inc, uma empresa de semicondutores de fabricação fabless. Ele serviu como seu presidente até seu retorno ao MIT em 2002. Em 2006, a Sandburst foi adquirida pela Broadcom Corporation.[5]
Em 2003, ele cofundou a Bluespec, Inc., com sede em Waltham, Massachusetts. Eles produzem conjuntos de ferramentas de síntese de automação de projeto eletrônico (EDA) comprovados. Com Lennart Augustsson, Arvind codesenvolveu a linguagem de programação Bluespec SystemVerilog (BSV), uma linguagem de descrição de hardware de programação funcional de alto nível, que é uma variante Haskell estendida para lidar com design de chips e electronic design automation em geral.[6][7]
Ele serviu como Presidente Geral da Conferência Internacional sobre Supercomputação realizada em Cambridge, Massachusetts, em junho de 2005. Ele também atuou como Presidente do Júri de Engenharia e Ciência da Computação para o Prêmio Infosys a partir de 2019.[8]
Arvind foi o primeiro a ocupar a Cátedra N. Rama Rao no Departamento de Ciência da Computação e Engenharia do IIT. Foi presidente de 1998 a 1999. Também durante este tempo ele ensinou algumas semanas a cada semestre no departamento de CSE do IIT, Kanpur.[9]
Trabalhos publicados
[editar | editar código-fonte]Juntamente com R. S. Nikhil, Arvind publicou o livro Implicit parallel programming in pH em 2001. "pH" é uma linguagem de programação baseada em Haskell com suporte especial para processamento paralelo.
Entre os artigos mais significativos e/ou recentes de sua autoria ou coautoria que foram publicados:
- James Hoe and Arvind, "Operation-Centric Hardware Descriptions and Synthesis", IEEE TCAD, Set. 2004
- Hari Balakrishnan, Srinivas Devadas, Doug Ehlert, e Arvind, "Rate Guarantees and Overload Protection in Input-Queued Switches", IEEE Infocom, Mar. 2004.
- Dan Rosenband and Arvind, "Modular Scheduling of Guarded Atomic Actions", DAC41, Jun. 2004
- Arvind, R.S. Nikhil, Daniel Rosenband e Nirav Dave, "High-level synthesis: An Essential Ingredient for Designing Complex ASICs", ICCAD'04, Nov.2004
Arvind também atuou no conselho editorial de várias revistas, incluindo o Journal of Parallel and Distributed Computing e o Journal of Functional Programming.
Morte
[editar | editar código-fonte]Mithal morreu no dia 17 de junho de 2024, aos 77 anos.[10]
Referências
- ↑ «Biografia» (em inglês)
- ↑ a b c «CSAIL, MIT». MIT
- ↑ a b «UMN News». University of Minnesota. Cópia arquivada em 2010
- ↑ «MIT News Office». MIT. 1992. Cópia arquivada em 2021
- ↑ «Sandburst Corporation». Bloomberg Businessweek. Cópia arquivada em 2012
- ↑ Hudak, Paul; Hughes, John; Peyton Jones, Simon; Wadler, Philip Wadler. «A history of Haskell: being lazy with class». HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. San Diego, California: Association for Computing Machinery. pp. 12–1–12–55. doi:10.1145/1238844.1238856.
[it] is basically Haskell with some extra syntactic constructs for the term rewriting system (TRS) that describes what the hardware does. The type system has been extended with types of numeric kind.
- ↑ Peyton Jones, Simon (2007). A History of Haskell: being lazy with class. Microsoft Research (Relatório). Consultado em 16 de setembro de 2023. Cópia arquivada em 19 de setembro de 2023
- ↑ «Infosys Prize - Jury 2020». Infosys-science-foundation.com. Consultado em 9 December 2020. Cópia arquivada em 29 November 2020 Verifique data em:
|acessodata=, |arquivodata=(ajuda) - ↑ «N. Ramo Rao Chair Professor». IIT, Kanpur. Cópia arquivada em 27 de setembro de 2006
- ↑ «Arvind, longtime MIT professor and prolific computer scientist, dies at 77». MIT News | Massachusetts Institute of Technology (em inglês). 18 de junho de 2024. Consultado em 22 de junho de 2024
- Nascidos em 1947
- Mortos em 2024
- Fellows do Instituto de Engenheiros Eletricistas e Eletrônicos
- Fellows da ACM
- Membros da Academia de Artes e Ciências dos Estados Unidos
- Membros da Academia Nacional de Engenharia dos Estados Unidos
- Professores do Instituto de Tecnologia de Massachusetts
- Cientistas da computação dos Estados Unidos
- Alunos da Universidade do Minnesota
- Professores da Universidade da Califórnia em San Diego