Web Directory

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

» 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/

» 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://theory.stanford.edu/~aiken/

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

» 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/

» 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

» 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://ix.cs.uoregon.edu/~ariola/

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

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

» Augusto, Juan Carlos
   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.
   http://www.infj.ulst.ac.uk/~jcaug/

» 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 busi
   http://is.tm.tue.nl/staff/wvdaalst/