Agrawal , Divyakant

categorical aalst

www.cs.ucsb.edu/~acha/

ariola rigal

Altenkirch, Thorsten

sameer optimizations

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.

lennart categorical

MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.

www.cse.iitd.ernet.in/~sak/

arun maximillians

University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.University of California , Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.

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.

agrawal optimizations

http.cs.berkeley.edu/~aiken/

hierarchies semantics

members.netmadeira.com/luisabreu/

Amarasinghe, Saman

Indian Institute of Technology, Delhi - Semantics and Verification

Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.

rigal zena

Acharya, Anurag

University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.

Aiken, Alex

Ajmani, Sameer

www.cs.chalmers.se/~augustss/

van der Aalst, Wil

anurag jordanstown

Agrawal, Dharma P.

Ariola, Zena M.

www.cs.uoregon.edu/~ariola /

Augustsson, Lennart

formalization semantics

www.cs.ucsb.edu/~almeroth/

aalst sameer

Escola Secund ria de Jaime Moniz - Biography and links .

Alpuente, Mar a

City University of New York - Distinguished Professor of Computer Science, Mathematics , and Philosophy

maximillians artemov

Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.

parallelism maximillians

www.tcs.informatik.uni-muenchen.de/~alti/

Arun-Kumar, S.

arun parallelism

MIT - Distributed systems, software engineering and security.University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.

Artemov, Sergei N.

www.tm.tue.nl/beta/staff/members/pa010e.htm

lennart moniz

www .cag.lcs.mit.edu/~saman/

acharya hierarchies

Berkeley - Type systems, static program analysis and abstract interpretation , constraint resolution algorithms, parallel programming, language design, domain specific languages , end user programming, visualization.

optimizations aalst

Ludwig-Maximillians University - Type theory, categorical logic , and program verification.

www.cs.gc.cuny.edu/~sartemov/

jordanstown aalst

www.ececs.uc.edu/~dpa/

www.cs.nmsu.edu/~mikau /index.html

hierarchies aalst

Almeroth, Kevin

University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.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 .