A
Acharya, Anurag
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hier…
Agrawal, Dharma P.
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow…
Aiken, Alex
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, en…
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 interpretati…
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.
Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
Augusto, Juan Carlos
University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and…
Auguston, Mikhail
New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automa…
Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
van der Aalst, Wil
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning…
Showing 20–17 of 17 results