ODP - Open Directory Project
"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."
Computers: Computer_Science: People: A:
- 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..
|
| |
|

