|
|
Home: Computer Science: People: A
- Abreu, Luis
Escola Secundária de Jaime Moniz - Biography and links.
(Rating: 0.00 Votes: 0)
Rate It
- Acharya, Anurag
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
(Rating: 0.00 Votes: 0)
Rate It
- Agrawal, Dharma P.
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
(Rating: 0.00 Votes: 0)
Rate It
- Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Almeroth, Kevin
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
(Rating: 0.00 Votes: 0)
Rate It
- Amarasinghe, Saman
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
(Rating: 0.00 Votes: 0)
Rate It
- Arcia, Andres
University of Los Andes, Merida-Venezuela - Distributed systems and mobile object location.
(Rating: 0.00 Votes: 0)
Rate It
- Ariola, Zena M.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
(Rating: 0.00 Votes: 0)
Rate It
- Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
(Rating: 0.00 Votes: 0)
Rate It
- Arun-Kumar, S.
Indian Institute of Technology, Delhi - Semantics and Verification
(Rating: 0.00 Votes: 0)
Rate It
- Arvind, V.
Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
(Rating: 0.00 Votes: 0)
Rate It
|
|
|
Web Hosting
Inkjet Cartridges
Go to my PC
Coupons
Discount Software
|