Kaushik Basu

Arvind

Johnson Professor of Computer Science and Engineering, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology

Prof. Arvind is a renowned Computer Scientist, whose work was instrumental in the development of dynamic dataflow architectures and associated parallel programming languages. Later he developed the Bluespec language for the synthesis and verification of large digital systems. The theoretical foundations of Bluespec are based on Guarded Atomic Actions.

After graduating with a B. Tech in Electrical Engineering from the Indian Institute of Technology, Kanpur (1969), Prof. Arvind went on to earn his M.S (1972) and Ph.D (1973), in Computer Science from the University of Minnesota. In 2000, he founded Sandburst, a fabless semiconductor company and in 2003, he co-founded Bluespec Inc, an EDA company.

Prof. Arvind has received numerous awards and honors and they include - IEEE Charles Babbage Outstanding Scientist Award (1994); Distinguished Alumnus Award, I.I.T. Kanpur (1999); Distinguished Alumnus Award, University of Minnesota, Outstanding Achievement Award, University of Minnesota (2008); and the IEEE Computer Society Harry H. Goode Memorial Award (2012).