|
|
| DMOZ DIRECTORY |
[ A
| B
| C
| D
| E
| F
| G
| H
| I
| J
| K
| L
| M
| N
| O
| P
| Q
| R
| S
| T
| U
| V
| W
| X
| Y
| Z
]
- Abreu, Luis - Escola Secundária de Jaime Moniz + Biography and links.
- Acharya, Anurag - University of California, Santa Barbara + Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
- 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 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.
- 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
- Arun+Kumar, S. - Indian Institute of Technology, Delhi + Semantics and Verification
- 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.
- 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 systems, computer supported cooperative work, and interorganisational business processes.
|
|
|