Augustsson, Lennart Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. http://www.cs.chalmers.se/~augustss/

Abramsky, Samson University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis. http://www.dcs.ed.ac.uk/home/samson/

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://http.cs.berkeley.edu/~aiken/

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. http://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. http://www.ececs.uc.edu/~dpa/

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. http://www.dsic.upv.es/users/elp/alpuente.html

Amarasinghe, Saman MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. http://www.cag.lcs.mit.edu/~saman/

Altenkirch, Thorsten Ludwig-Maximillians University - Type theory, categorical logic, and program verification. http://www.tcs.informatik.uni-muenchen.de/~alti/

Ariola, Zena M. University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. http://www.cs.uoregon.edu/~ariola/

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. http://www.cs.nmsu.edu/~mikau/index.html

Arvind, V. Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation. http://www.imsc.ernet.in/~arvind

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/

Agrawal, Divyakant University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. http://www.cs.ucsb.edu/~agrawal/

Almeroth, Kevin University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. http://www.cs.ucsb.edu/~almeroth/

Arun-Kumar, S. Indian Institute of Technology, Delhi - Semantics and Verification http://www.cse.iitd.ernet.in/~sak/

Artemov, Sergei N. City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy http://www.cs.gc.cuny.edu/~sartemov/

Abreu, Luis Escola Secundária de Jaime Moniz - Biography and links. http://members.netmadeira.com/luisabreu/

Arcia, Andres University of Los Andes, Merida-Venezuela - Distributed systems and mobile object location. http://www.cemisid.ing.ula.ve/~amoret

Ajmani, Sameer MIT - Distributed systems, software engineering and security. http://pmg.csail.mit.edu/~ajmani

van 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. http://www.tm.tue.nl/beta/staff/members/pa010e.htm