Sites:
| 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. | | 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. |
|
Classical
