 |
- 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 Philosoph.
|
- Arun-Kumar, S. - - Indian Institute of Technology, Delhi - Semantics and Verificatio.
|
- 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.
|
- Auguston, Mikhail - - New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.
|
- 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.
|
|