  |
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. |
| |
Artemov, Sergei N. - http://web.cs.gc.cuny.edu/~sartemov/
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy |
| |
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. |
| |
Arun-Kumar, S. - http://www.cse.iitd.ernet.in/~sak/
Indian Institute of Technology, Delhi - Semantics and Verification |
| |
Augustsson, Lennart - http://www.cs.chalmers.se/~augustss/
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. |
| |
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. |
| |
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. |
| |
Altenkirch, Thorsten - http://www.tcs.informatik.uni-muenchen.de/~alti/
Ludwig-Maximillians University - Type theory, categorical logic, and program verification. |
| |
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. |
| |
Amarasinghe, Saman - http://www.cag.lcs.mit.edu/~saman/
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. |
| |
Ariola, Zena M. - http://ix.cs.uoregon.edu/~ariola/
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. |
| |
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. |
 |
Abreu, Luis - http://members.netmadeira.com/luisabreu/
Escola Secundária de Jaime Moniz - Biography and links. |