In Partnership with AOL
[AB|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z]
  • Agrawal, Divyakant - University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
    [!]
  • 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.
    [!]
  • Ajmani, Sameer - MIT - Distributed systems, software engineering and security.
    [!]
  • Almeroth, Kevin - University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
    [!]
  • 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.
    [!]
  • Altenkirch, Thorsten - Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
    [!]
  • Ariola, Zena M. - University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
    [!]
  • Arun-Kumar, S. - Indian Institute of Technology, Delhi - Semantics and Verification
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: December 18, 2014 at 12:21:04 UTC - edit