Professor Arvind
title:
Charles W. & Jennifer C. Johnson Professor in Computer Science Engineering
research interests:
Architecture synthesis and verification, digital design, term rewriting systems and lambda calculus. Parallel architectures and programming languages.