| Directory > Computers > Computer Science > People 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/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Ajmani, Sameer
MIT - Distributed systems, software engineering and security.
http://pmg.csail.mit.edu/~ajmani
Reviews Rating: Not yet Rated
Whois Check
Arcia, Andres
University of Los Andes, Merida-Venezuela - Distributed systems and mobile object location.
http://www.cemisid.ing.ula.ve/~amoret
Reviews Rating: Not yet Rated
Whois Check
Abreu, Luis
Escola Secundária de Jaime Moniz - Biography and links.
http://members.netmadeira.com/luisabreu/
Reviews Rating: Not yet Rated
Whois Check
Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and
Philosophy
http://www.cs.gc.cuny.edu/~sartemov/
Reviews Rating: Not yet Rated
Whois Check
Arun-Kumar, S.
Indian Institute of Technology, Delhi - Semantics and Verification
http://www.cse.iitd.ernet.in/~sak/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Ariola, Zena M.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda
calculus, compilers.
http://www.cs.uoregon.edu/~ariola/
Reviews Rating: Not yet Rated
Whois Check
Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
http://www.tcs.informatik.uni-muenchen.de/~alti/
Reviews Rating: Not yet Rated
Whois Check
Amarasinghe, Saman
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
http://www.cag.lcs.mit.edu/~saman/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
Abramsky, Samson
University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program
analysis.
http://www.dcs.ed.ac.uk/home/samson/
Reviews Rating: Not yet Rated
Whois Check
Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional
programming languages, Haskell.
http://www.cs.chalmers.se/~augustss/
Reviews Rating: Not yet Rated
Whois Check
|
