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 [1].

[edit] References

• Official website
• Arvind's 60th birthday celebration

This biography of an American academic is a stub. You can help Wikipedia by expanding it. v • d • e

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. v • d • e