Arvind (computer scientist)

Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology. His research work includes verification of large-scale digital systems. He is a Distinguished Alumnus of the Indian Institute of Technology Kanpur and of the University of Minnesota. He is a Fellow of the IEEE and the ACM, and he was elected to the National Academy of Engineering in 2008

References

• Official website
• Arvind's 60th birthday celebration