Arvind (computer scientist)
From Wikipedia, the free 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. 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
 |
This biography of an American academic is a stub. You can help Wikipedia by expanding it. |
