Wectar - Computers - Computer Science - People - A

	van der Aalst, Wil URL: http://is.tm.tue.nl/staff/wvdaalst/ ODP description: TU Eindhoven, the Netherlands - Workflow mining and Petri-net-based modeling languages. Includes a list of publications, some papers in PDF format, and links to his projects. Page title: Homepage of Wil van der Aalst
	Augusto, Juan Carlos URL: http://www.infj.ulst.ac.uk/~jcaug/ ODP description: 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. Page title: welcome to Juan Carlos Augusto's Home Page
	Artemov, Sergei URL: http://web.cs.gc.cuny.edu/~sartemov/ ODP description: City University of New York Graduate Center, USA. Page title: Sergei N. Artemov
	Amarasinghe, Saman URL: http://www.cag.lcs.mit.edu/~saman/ ODP description: MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. Page title: Saman Amarasinghe
	Acharya, Anurag URL: http://www.cs.ucsb.edu/~acha/ ODP description: University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies. Page title: Anurag Acharya
	Agrawal, Dharma P. URL: http://www.ececs.uc.edu/~dpa/ ODP description: University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. Page title: Dharma P. Agrawal
	Ajmani, Sameer URL: http://pmg.csail.mit.edu/~ajmani ODP description: MIT - Distributed systems, software engineering and security. Page title: Sameer Ajmani Page description: Home Page for Sameer Ajmani, PhD in Computer Science from MIT
	Altenkirch, Thorsten URL: http://www.tcs.informatik.uni-muenchen.de/~alti/ ODP description: Ludwig-Maximillians University - Type theory, categorical logic, and program verification. Page title: Thorsten Altenkirch
	Agrawal, Divyakant URL: http://www.cs.ucsb.edu/~agrawal/ ODP description: University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. Page title: Divyakant Agrawal
	Arun-Kumar, S. URL: http://www.cse.iitd.ernet.in/~sak/ ODP description: Indian Institute of Technology, Delhi - Semantics and Verification Page title: S. Arun-Kumar's home page
	Alpuente, MarÃa URL: http://www.dsic.upv.es/users/elp/alpuente.html ODP description: Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. Page title: alpuente
	Aiken, Alex URL: http://theory.stanford.edu/~aiken/ ODP description: Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization. Page title: Alex Aiken
	Ariola, Zena M. URL: http://www.cs.uoregon.edu/~ariola/ ODP description: University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. Page title: Zena M. Ariola
	Augustsson, Lennart URL: http://www.cs.chalmers.se/~augustss/ ODP description: Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. Page title: Lennart Augustsson
	Abreu, Luis URL: http://members.netmadeira.com/luisabreu/ ODP description: Escola SecundÃ¡ria de Jaime Moniz - Biography and links. Page title: Site Index
	Almeroth, Kevin URL: http://www.cs.ucsb.edu/~almeroth/ ODP description: University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. Page title: Kevin Almeroth's Home Page