Prof. Arvind


Prof. 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. Prof. Arvind was elected to the National Academy of Engineering in 2008. research interests are in the fields of verification of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.


Prof.Arvind did his B. Tech in Electrical Engineering from IITK in 1969. His interest in computer science made him pursue a maste's degree and doctorate from the University of Minnesota in 1972 and 1973 respectively. He served as the Chief Technical Advisor to the United Nations' sponsored, Knowledge Based Computer Systems project in India from 1986 to 1992. In 2000, he built Sandburst, a fabless semiconductor company and served as its president till 2002 and co-founded Bluespec Inc, an Electronic Design Automation company in 2003. 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.

Prof.Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering at IIT Kanpur and served as chair from 1998 to 1999.

Prof. Arvind's 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.

Prof. Arvind was awarded IITK Distinguished Alumnus Award, 1999.

Achievements and Honors

  • Member of National Academy of Engineering, USA, 2008
  • The Outstanding Achievement Award from the University of Minnesota, 2008.
  • ACM Fellow in 2007.
  • The Distinguished Alumnus Award, University of Minnesota, 2001.
  • Distinguished Alumnus Award, IIT Kanpur, 1999.
  • IEEE Computer Society Charles Babbage Award, 1994.
  • IEEE Fellow in 1994
  • Member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.