 |
|
|
 |
|
 | 
|
|
|
|
|
| |
| | | | | Show pages from United States Show all pages | |
|
 |  | Abreu, Luis
- http://members.netmadeira.com/luisabreu/
- Escola Secundária de Jaime Moniz - Biography and links. | |
| | Acharya, Anurag
- http://www.cs.ucsb.edu/~acha/
- University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies. | |
| | Agrawal, Dharma P.
- http://www.ececs.uc.edu/~dpa/
- University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. | |
| | Agrawal, Divyakant
- http://www.cs.ucsb.edu/~agrawal/
- University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. | |
| | Aiken, Alex
- http://theory.stanford.edu/~aiken/
- 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
- http://pmg.csail.mit.edu/~ajmani
- MIT - Distributed systems, software engineering and security. | |
| | Almeroth, Kevin
- http://www.cs.ucsb.edu/~almeroth/
- University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. | |
| | Alpuente, María
- http://www.dsic.upv.es/users/elp/alpuente.html
- Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. | |
| | Altenkirch, Thorsten
- http://www.tcs.informatik.uni-muenchen.de/~alti/
- Ludwig-Maximillians University - Type theory, categorical logic, and program verification. | |
| | Amarasinghe, Saman
- http://www.cag.lcs.mit.edu/~saman/
- MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. | |
| | Ariola, Zena M.
- http://www.cs.uoregon.edu/~ariola/
- University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. | |
| | Artemov, Sergei N.
- http://web.cs.gc.cuny.edu/~sartemov/
- City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy | |
| | Arun-Kumar, S.
- http://www.cse.iitd.ernet.in/~sak/
- Indian Institute of Technology, Delhi - Semantics and Verification | |
| | Augusto, Juan Carlos
- http://www.infj.ulst.ac.uk/~jcaug/
- 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
- http://www.cs.chalmers.se/~augustss/
- Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. | |
| | van der Aalst, Wil
- http://is.tm.tue.nl/staff/wvdaalst/
- 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. |
| |
|  |
 |  |
| |
|
|
This site is presented in modified Open Directory form
| |
| |
|
|
|
|
|
|
|
|
|
| | | | |
|
