- Abramsky, Samson - University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.
www.dcs.ed.ac.uk/home/samson
- Abreu, Luis - Escola Secundária de Jaime Moniz - Biography and links.
members.netmadeira.com/luisabreu
- Acharya, Anurag - University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
www.cs.ucsb.edu/~acha
- Agha, Gul - University of Illinois, Urbana-Champaign - Developing new abstractions for building open distributed systems and reasoning about their behavior. such systems generally have requirements such as parallelism, coordination, availability, and real-time behavior.
www.cs.uiuc.edu/contacts/faculty/agha.html
- Agrawal, Dharma P. - University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
www.ececs.uc.edu/~dpa
- Agrawal, Divyakant - University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
www.cs.ucsb.edu/~agrawal
- 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.
http.cs.berkeley.edu/~aiken
- Almeroth, Kevin - University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
www.cs.ucsb.edu/~almeroth
- 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.
www.dsic.upv.es/users/elp/alpuente.html
- Altenkirch, Thorsten - Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
www.tcs.informatik.uni-muenchen.de/~alti
- Amarasinghe, Saman - MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
www.cag.lcs.mit.edu/~saman
- Ariola, Zena M. - University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
www.cs.uoregon.edu/~ariola
- Artemov, Sergei N. - City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
www.cs.gc.cuny.edu/~sartemov
- Arun-Kumar, S. - Indian Institute of Technology, Delhi - Semantics and Verification
www.cse.iitd.ernet.in/~sak
- Arvind, V. - Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
www.imsc.ernet.in/~arvind
- 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.
www.cs.nmsu.edu/~mikau/index.html
- Augustsson, Lennart - Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
www.cs.chalmers.se/~augustss
|
