Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow…
Almeroth, Kevin
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Amarasinghe, Saman
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
Ariola, Zena M.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.