Arvind (computer scientist)

Last updated

Arvind
Born
India
NationalityIndian
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
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 is 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 is 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.

Contents

Career

Arvind's research interests include formal verification of large-scale digital systems using guarded atomic actions, memory models, and cache coherence protocols for parallel computing architectures and programming languages. [2]

Past work was instrumental in the development of dynamic dataflow architectures, two parallel languages, Id and pH, and the compiling of such languages on parallel machines. [2]

At IIT Kanpur, he earned a Bachelor of Science (B.Sc.) degree in technology (with an emphasis in electrical engineering) in 1969. In that process, he discovered that he was keenly interested in computers. Then, at the University of Minnesota, he earned a Master of Science (M.Sc.) in computer science in 1972, and a Doctor of Philosophy (Ph.D.) in computer science in 1973. [3]

Arvind conducted his thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978, [2] he became interested in computer architecture and programming languages. [3]

Arvind taught at IIT's Kanpur campus in 1977 and 1978. [2] In 1978, he joined the MIT faculty. [4] He served as the Chief Technical Advisor to the United-Nations-sponsored Knowledge Based Computer Systems project in India from 1986 to 1992. During 1992–93, he was the Fujitsu Visiting Professor at the University of Tokyo.[ citation needed ]

In 1992, Arvind and his CSAIL team collaborated with Motorola in completing the Monsoon dataflow machine and associated software. A dozen Monsoons were installed at Los Alamos National Laboratory and other universities before Monsoon was retired to the Computer History Museum in California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, Inc, a fabless manufacturing semiconductor company. He served as its president until his return to MIT in 2002.[ citation needed ] In 2006, Sandburst was acquired by Broadcom Corporation. [5]

In 2003, he cofounded Bluespec, Inc., headquartered in Waltham, Massachusetts. They produce proven electronic design automation (EDA) synthesis toolsets. [6] With Lennart Augustsson, Arvind codeveloped the programming language Bluespec SystemVerilog (BSV), a high-level functional programming hardware description language, which is a Haskell variant extended to handle chip design and electronic design automation in general. [7] [8]

He served as the General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June 2005.[ citation needed ] He has also served as the Engineering and Computer Science Jury Chair for the Infosys Prize from 2019 onwards. [9]

Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering at IIT. He served as chair from 1998 to 1999. Also during this time he taught a few weeks each semester at the CSE department of IIT, Kanpur. [10]

Arvind's current research uses term-rewriting systems (TRSs) for high-level specification and description of architectures and protocols. The Computation Structures Group at MIT, which he heads, uses TRSs to design faster hardware and allow for more exploration of designs.[ citation needed ]

Published works

Along with R. S. Nikhil, Arvind published the book Implicit parallel programming in pH in 2001. "pH" is a programming language based on Haskell with special support for parallel processing.

Among the most significant and/or recent articles he authored or co-authored that have been published:

Arvind has also served on the editorial board of several journals including the Journal of Parallel and Distributed Computing, and the Journal of Functional Programming .

Awards

Arvind has received the following awards: the IEEE Computer Society Charles Babbage Award (1994), Distinguished Alumnus Award, I.I.T. Kanpur (1999), Distinguished Alumnus Award, University of Minnesota (2001), [11] and the Outstanding Achievement Award from the University of Minnesota (2008). [12] [13]

He was selected as an IEEE Fellow in 1994 and an ACM Fellow in 2006. [14] He was elected to the National Academy of Engineering in 2008 and is currently a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. [12]

Related Research Articles

<span class="mw-page-title-main">Shafi Goldwasser</span> Israeli American computer scientist

Shafrira Goldwasser is an Israeli-American computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at Massachusetts Institute of Technology; a professor of mathematical sciences at the Weizmann Institute of Science, Israel; the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley; and co-founder and chief scientist of Duality Technologies.

<span class="mw-page-title-main">Jack Dennis</span> American computer scientist (born 1931)

Jack Bonnell Dennis is an American computer scientist and Emeritus Professor of Computer Science and Engineering at Massachusetts Institute of Technology.

<span class="mw-page-title-main">Charles E. Leiserson</span> American computer scientist

Charles Eric Leiserson is a computer scientist and professor at Massachusetts Institute of Technology (M.I.T.). He specializes in the theory of parallel computing and distributed computing.

<span class="mw-page-title-main">F. Thomson Leighton</span> American computer scientist

Frank Thomson "Tom" Leighton is the CEO of Akamai Technologies, the company he co-founded with the late Daniel Lewin in 1998. As one of the world's preeminent authorities on algorithms for network applications and cybersecurity, Dr. Leighton discovered a solution to free up web congestion using applied mathematics and distributed computing.

Lennart Augustsson is a Swedish computer scientist. He was formerly a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional programming languages.

Bluespec, Inc. is an American semiconductor tool design company co-founded by Massachusetts Institute of Technology (MIT) professor Arvind in June 2003 and based in Framingham, Massachusetts. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task. Bluespec has two product lines which are primarily for application-specific integrated circuit (ASIC) and field-programmable gate array (FPGA) hardware designers and architects. Bluespec supplies high-level synthesis with register-transfer level (RTL). The first Bluespec workshop was held on August 13, 2007, at MIT.

Kalyanmoy Deb is an Indian computer scientist. Deb is the Herman E. & Ruth J. Koenig Endowed Chair Professor in the Department of Electrical and Computing Engineering at Michigan State University. Deb is also a professor in the Department of Computer Science and Engineering and the Department of Mechanical Engineering at Michigan State University.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

Kanianthra Mani Chandy is the Simon Ramo Professor of Computer Science at the California Institute of Technology (Caltech). He has been the Executive Officer of the Computer Science Department twice, and he has been a professor at Caltech since 1989. He also served as Chair of the Division of Engineering and Applied Science at the California Institute of Technology.

Irvine Dataflow (Id) is a general-purpose parallel programming language, started at the University of California at Irvine in 1975 by Arvind and K. P. Gostelow. Arvind continued work with Id at MIT into the 1990s.

Hari Balakrishnan is the Fujitsu Professor of Computer Science and Artificial Intelligence in the Department of Electrical Engineering and Computer Science at MIT, and the Co-founder and CTO at Cambridge Mobile Telematics.

<span class="mw-page-title-main">Jitendra Malik</span> Indian-American academic (born 1960)

Jitendra Malik is an Indian-American academic who is the Arthur J. Chick Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is known for his research in computer vision.

<span class="mw-page-title-main">Guang Gao</span> American computer scientist (1945–2021)

Guang R. Gao was a computer scientist and a Professor of Electrical and Computer Engineering at the University of Delaware. Gao was a founder and Chief Scientist of ETI.

<span class="mw-page-title-main">Alan Edelman</span> American mathematician

Alan Stuart Edelman is an American mathematician and computer scientist. He is a professor of applied mathematics at the Massachusetts Institute of Technology (MIT) and a Principal Investigator at the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) where he leads a group in applied computing. In 2004, he founded a business called Interactive Supercomputing which was later acquired by Microsoft. Edelman is a fellow of American Mathematical Society (AMS), Society for Industrial and Applied Mathematics (SIAM), Institute of Electrical and Electronics Engineers (IEEE), and Association for Computing Machinery (ACM), for his contributions in numerical linear algebra, computational science, parallel computing, and random matrix theory. He is one of the cocreators of the technical programming language Julia.

Rajesh K. Gupta is a computer scientist and engineer, currently the Qualcomm Professor in Embedded Microsystems at University of California, San Diego. His research concerns design and optimization of cyber-physical systems (CPS). He is a Principal Investigator in the NSF MetroInsight project and serves as Associate Director of the Qualcomm Institute. His research contributions include SystemC and SPARK Parallelizing High-level Synthesis. Earlier he led NSF Expeditions on Variability in Microelectronic circuits.

<span class="mw-page-title-main">Keshav K Pingali</span> American computer scientist

Keshav K Pingali is an American computer scientist, currently the W.A."Tex" Moncrief Chair of Grid and Distributed Computing at the University of Texas at Austin, and also a published author. He previously also held the India Chair of Computer Science at Cornell University and also the N. Rama Rao Professorship at Indian Institute of Technology. He is a Fellow of the American Association for the Advancement of Science, Association for Computing Machinery and Institute of Electrical and Electronics Engineers. In 2020, he was elected a Foreign Member of the Academia Europeana.

<span class="mw-page-title-main">Jayadev Misra</span> American computer scientist (born 1947)

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).

<span class="mw-page-title-main">Sandeep Shukla</span>

Sandeep Kumar Shukla is currently Poonam and Prabhu Goel Chair Professor and previous head of Computer Science and Engineering Department, Indian Institute of Technology, Kanpur, India. He is currently the Editor-in-Chief of ACM Transactions on Embedded Systems, and associate editor for ACM transactions on Cyber Physical Systems. He is currently the joint director of C3i centre at IIT Kanpur along with Manindra Agrawal.

Rajat Moona is the Director of Indian Institute of Technology Gandhinagar from 2022 onwards. He is also serving as Director of Indian Institute of Information Technology, Vadodara on Additional Charge Basis from May 2023 onwards. He has served as director at Indian Institute of Technology, Bhilai from 2017 to 2022. He was also a professor of Computer Science and Engineering at IIT Kanpur from 1991 to 2011 and Director General of Centre for Development of Advanced Computing from 2009 to 2017.

References

  1. ↑ "National Academies News". National Academies.
  2. 1 2 3 4 "CSAIL, MIT". MIT.
  3. 1 2 "UMN News". University of Minnesota. Archived from the original on 18 June 2010.
  4. ↑ "MIT News Office". MIT. 28 October 1992.
  5. ↑ "Sandburst Corporation". Bloomberg Businessweek. Archived from the original on 5 October 2012.
  6. ↑ "About Bluespec". Bluespec. Archived from the original on 18 June 2010.
  7. ↑ Hudak, Paul; Hughes, John; Peyton Jones, Simon; Wadler, Philip Wadler (9–10 June 2007). "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. S2CID   52847907. [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.
  8. ↑ Peyton Jones, Simon (June 2007). A History of Haskell: being lazy with class. Microsoft Research (Report).
  9. ↑ "Infosys Prize - Jury 2020". Infosys-science-foundation.com. Retrieved 9 December 2020.
  10. ↑ "N. Ramo Rao Chair Professor". IIT, Kanpur. Archived from the original on 27 September 2006.
  11. ↑ "Distinguished Alumni Award recipients". Department of Computer Science and Engineering. University of Minnesota. Retrieved 1 July 2022.
  12. 1 2 "CSAIL Arvind Biography". MIT.
  13. ↑ "Recipients of the Outstanding Achievement Award". University Awards and Honors. University of Minnesota. Retrieved 1 July 2022.
  14. ↑ "ACM Names Bluespec Founder Arvind 2006 ACM Fellow". EDACafe. Retrieved 1 July 2022.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.