Arvind | |
|---|---|
| Born | Arvind Mithal 18 May 1947 |
| Died | 17 June 2024 (aged 77) |
| Nationality | Indian[citation needed] |
| Education | IIT Kanpur (B.Sc., 1969) University of Minnesota (M.S., 1972, Ph.D., 1973) |
| Known for | Formal verification of large digital systems Development of dynamic dataflow architectures Parallel computing programming languages Id, pH Compiling languages on parallel machines |
| Spouse | Gita Singh |
| Children | 2 |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of California, Irvine Indian Institutes of Technology Massachusetts Institute of Technology (MIT) University of Tokyo Sandburst Bluespec |
| Thesis | Models for the Comparison of Memory Management Algorithms (1973) |
| Doctoral advisor | Richard Yerkes Kain |
| Doctoral students | |
Arvind Mithal (18 May 1947 – 17 June 2024), known mononymously as Arvind, was an Indian computer scientist, the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He was a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008[1] for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.