Arvind (computer scientist)
Encyclopedia
Arvind is the Johnson Professor of Computer Science
and Engineering
in the Computer Science and Artificial Intelligence Laboratory
at the Massachusetts Institute of Technology
. He is a Fellow of the IEEE and the ACM
, and he was elected to the National Academy of Engineering
in 2008.
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
Arvind is the Johnson Professor of Computer Science
and Engineering
in the Computer Science and Artificial Intelligence Laboratory
at the Massachusetts Institute of Technology
. He is a Fellow of the IEEE and the ACM
, and he was elected to the National Academy of Engineering
in 2008.
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
Arvind is the Johnson Professor of Computer Science
and Engineering
in the Computer Science and Artificial Intelligence Laboratory
at the Massachusetts Institute of Technology
. He is a Fellow of the IEEE and the ACM
, and he was elected to the National Academy of Engineering
in 2008.
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
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.
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 Labs and other universities before Monsoon was retired to the Computer Museum in California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, a fabless semiconductor company. He served as its president until he returned to MIT in 2002. In 2003, he co-founded Bluespec Inc, an EDA company. He currently serves on the boards of both companies.
In 2006, Sandburst, headquartered in Andover, Massachusetts and providing semiconductor solutions for scalable packet switching and routing systems, was acquired by Broadcom Corp.
Bluespec, Inc., headquartered in Waltham, Massachusetts, manufactures silicon-proven electronic design automation synthesis toolsets.
He served as the General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June, 2005.
Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering. 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
Arvind's current research uses a formalism known as Term Rewriting Systems (TRS's) for high-level specification and description of architectures and protocols. In the Computation Structures Group at MIT, which he heads, work is being done on using TRS's to design hardware more quickly and allow for exploration of designs.
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
.
Additionally he was selected as an IEEE Fellow in 1994 and an ACM Fellow. He was a member of the National Academy of Engineering in 2008 and is currently a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
and Engineering
Computer engineering
Computer engineering, also called computer systems engineering, is a discipline that integrates several fields of electrical engineering and computer science required to develop computer systems. Computer engineers usually have training in electronic engineering, software design, and...
in the Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory is a research laboratory at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and Artificial Intelligence Laboratory...
at the Massachusetts Institute of Technology
Massachusetts Institute of Technology
The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
. He is a Fellow of the IEEE and the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, and he was elected to the National Academy of Engineering
National Academy of Engineering
The National Academy of Engineering is a government-created non-profit institution in the United States, that was founded in 1964 under the same congressional act that led to the founding of the National Academy of Sciences...
in 2008.
Career
Arvind's research interests include verificationFormal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics .- Usage :Formal verification can be...
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
Arvind is the Johnson Professor of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
and Engineering
Computer engineering
Computer engineering, also called computer systems engineering, is a discipline that integrates several fields of electrical engineering and computer science required to develop computer systems. Computer engineers usually have training in electronic engineering, software design, and...
in the Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory is a research laboratory at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and Artificial Intelligence Laboratory...
at the Massachusetts Institute of Technology
Massachusetts Institute of Technology
The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
. He is a Fellow of the IEEE and the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, and he was elected to the National Academy of Engineering
National Academy of Engineering
The National Academy of Engineering is a government-created non-profit institution in the United States, that was founded in 1964 under the same congressional act that led to the founding of the National Academy of Sciences...
in 2008.
Career
Arvind's research interests include verificationFormal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics .- Usage :Formal verification can be...
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
Arvind is the Johnson Professor of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
and Engineering
Computer engineering
Computer engineering, also called computer systems engineering, is a discipline that integrates several fields of electrical engineering and computer science required to develop computer systems. Computer engineers usually have training in electronic engineering, software design, and...
in the Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory is a research laboratory at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and Artificial Intelligence Laboratory...
at the Massachusetts Institute of Technology
Massachusetts Institute of Technology
The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
. He is a Fellow of the IEEE and the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, and he was elected to the National Academy of Engineering
National Academy of Engineering
The National Academy of Engineering is a government-created non-profit institution in the United States, that was founded in 1964 under the same congressional act that led to the founding of the National Academy of Sciences...
in 2008.
Career
Arvind's research interests include verificationFormal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics .- Usage :Formal verification can be...
of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.
Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines http://csg.csail.mit.edu/Users/arvind/index.html.
After earning his bachelor’s degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969; however he discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.
Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978 http://csg.csail.mit.edu/Users/arvind/index.html, he became interested in computer architecture and languages.
Arvind then taught at IIT’s Kanpur campus in 1977 and 1978.
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.
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 Labs and other universities before Monsoon was retired to the Computer Museum in California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, a fabless semiconductor company. He served as its president until he returned to MIT in 2002. In 2003, he co-founded Bluespec Inc, an EDA company. He currently serves on the boards of both companies.
In 2006, Sandburst, headquartered in Andover, Massachusetts and providing semiconductor solutions for scalable packet switching and routing systems, was acquired by Broadcom Corp.
Bluespec, Inc., headquartered in Waltham, Massachusetts, manufactures silicon-proven electronic design automation synthesis toolsets.
He served as the General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June, 2005.
Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering. 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
Arvind's current research uses a formalism known as Term Rewriting Systems (TRS's) for high-level specification and description of architectures and protocols. In the Computation Structures Group at MIT, which he heads, work is being done on using TRS's to design hardware more quickly and allow for exploration of designs.
Published Works
Along with Dr. R. S. Nikhil, Arvind published the book Implicit parallel programming in pH in 2001. "pH" is a programming language based on HaskellHaskell (programming language)
Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language. As a functional programming language, the...
with special support for parallel processing.
Among the most significant and/or recent articles he authored or co-authored that have been published:
- James Hoe and Arvind, “Operation-Centric Hardware Descriptions and Synthesis”, IEEE TCAD, September 2004
- Hari Balakrishnan, Srinivas Devadas, Doug Ehlert and Arvind, “Rate Guarantees and Overload Protection in Input-Queued Switches”, IEEE Infocom, March 2004.
- Dan Rosenband and Arvind, “Modular Scheduling of Guarded Atomic Actions”, DAC41, June 2004
- Arvind, R.S. Nikhil, Daniel Rosenband and Nirav Dave, “High-level synthesis: An Essential Ingredient for Designing Complex ASICs”, ICCAD’04, November 2004
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
Journal of Functional Programming
The Journal of Functional Programming is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice...
.
Awards
Arvind has received the following awards: Distinguished Alumnus Award, University of Minnesota (2001), Distinguished Alumnus Award, I.I.T. Kanpur (1999) and the IEEE Charles Babbage Outstanding Scientist Award (1994) and the Outstanding Achievement Award from the University of Minnesota.Additionally he was selected as an IEEE Fellow in 1994 and an ACM Fellow. He was a member of the National Academy of Engineering in 2008 and is currently a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.