 |
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, LuisAbreu, Luis
 Escola Secundária de Jaime Moniz - Biography and links.
|
Acharya, AnuragAcharya, Anurag
 University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
|
Agrawal, Dharma P.Agrawal, Dharma P.
 University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
|
Agrawal, DivyakantAgrawal, Divyakant
 University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
|
Aiken, AlexAiken, 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, SameerAjmani, Sameer
 MIT - Distributed systems, software engineering and security.
|
Almeroth, KevinAlmeroth, Kevin
 University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
|
Alpuente, MaríaAlpuente, 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, ThorstenAltenkirch, Thorsten
 Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
|
Amarasinghe, SamanAmarasinghe, Saman
 MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
|
Ariola, Zena M.Ariola, Zena M.
 University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
|
Artemov, Sergei N.Artemov, Sergei N.
 City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
|
Arun-Kumar, S.Arun-Kumar, S.
 Indian Institute of Technology, Delhi - Semantics and Verification
|
Augusto, Juan CarlosAugusto, 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, LennartAugustsson, Lennart
 Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
|
van der Aalst, Wilvan 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.
|
|
|
|
