Directory of Resources

Home > Computers > Computer Science > People > A

Resources in This Category

• Agrawal, Divyakant

  http://www.cs.ucsb.edu/~agrawal/
  University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.

• Aiken, Alex

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

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

• Almeroth, Kevin

  http://www.cs.ucsb.edu/~almeroth/
  University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.

• Alpuente, María

  http://www.dsic.upv.es/users/elp/alpuente.html
  Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.

• Altenkirch, Thorsten

  http://www.tcs.informatik.uni-muenchen.de/~alti/
  Ludwig-Maximillians University - Type theory, categorical logic, and program verification.

• Ariola, Zena M.

  http://ix.cs.uoregon.edu/~ariola/
  University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.

• Arun-Kumar, S.

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

 

Home > Computers > Computer Science > People > A

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us