van der Aalst, Wil
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational business processes.
Abreu, Luis
Escola Secundária de Jaime Moniz - Biography and links.
Ajmani, Sameer
MIT - Distributed systems, software engineering and security.
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.
Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
Amarasinghe, Saman
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
Acharya, Anurag
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
Almeroth, Kevin
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
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
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.
Agrawal, Dharma P.
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
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 Industry, Verification of behavioural properties of systems.
Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
|
Internet Tools
Feature Sites
Directories
Sponsor