AB C D E F G H I J K L M N O P Q R S T U V W X Y Z
Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
Aiken, Alex
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
Ajmani, Sameer
MIT - Distributed systems, software engineering and security.
Almeroth, Kevin
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
Alpuente, MarĂ­a
Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Ariola, Zena M.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
Arun-Kumar, S.
Indian Institute of Technology, Delhi - Semantics and Verification
[Computer Mozilla]
Last update:
December 18, 2014 at 12:21:04 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business