| | - University of Oregon
Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. ...
http://ix.cs.uoregon.edu/~ariola/
|
| |
- The Marķa University
Technical University of Valencia, Spain Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. ...
http://www.dsic.upv.es/users/elp/alpuente.html
|
| |
|
- The Acharya Anurag
University of California, Santa Barbara Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies. ...
http://www.cs.ucsb.edu/~acha/
| | |
| |
|
| |
- The Augusto Juan Carlos
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. ...
http://www.infj.ulst.ac.uk/~jcaug/
| | - The Augustsson Lennart
Chalmers University of Technology functional programming and implementation of functional programming languages, Haskell. ...
http://www.cs.chalmers.se/~augustss/
|
| |
- The Artemov
Distinguished Professor of Computer Science, Mathematics, and Philosophy ...
http://web.cs.gc.cuny.edu/~sartemov/
| | - Almeroth Kevin University
California, Santa Barbara Computer networks and protocols, largescale multimedia systems, performance evaluation, distributed systems. ...
http://www.cs.ucsb.edu/~almeroth/
|
| |
- Altenkirch Thorsten Ludwig
Altenkirch, Thorsten LudwigMaximillians University Type theory, categorical logic, and program verification. ...
http://www.tcs.informatik.uni-muenchen.de/~alti/
| | - Amarasinghe MIT
Amarasinghe, Saman MIT Compiler optimizations, computer architectures, software engineering and parallel computing. ...
http://www.cag.lcs.mit.edu/~saman/
|
| |
