Computer Science

MITCompiler optimizations, computer architectures, software engineering and parallel computing.

The Australian National University Supercomputer Facility provides computing infrastructure to students across Australia. FAQs and links to other resources.

Organization information, mailing list and conference information. [German and English]

Indian Institute of Technology, DelhiCAD for VLSI, Computer Architecture

IBM ResearchQuantum information and computation theory.

Berkeley NOW (Networks of Workstations) ProjectCluster computing project at the University of California, Berkeley, computer science department.

Searchable collection of bibtex bibliographies on database research.

Searchable collection of BibTeX bibliographies on distributed computing research.

Conducts research in the development of human-centered, powerful, and interactive 3D graphics tools for modeling, scientific visualization, telecollaboration, and interactive illustrations.

University of EdinburgUnderstanding the structure of mathematical proofs using proof plans, automated theorem proving.

Provides facilities for computational science and engineering research at Caltech and the Jet Propulsion Laboratory. Research information, publications, and news.

Microsoft ResearchType theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.

Research into developing advanced simulation techniques and developing network distributed applications. Information about projects, staff, employment opportunities, and documentation.

SUNY Buffalo. Links to other supercomputing resources and information about educational outreach programs.

Conducts research in computer graphics modeling and animation techniques for embodied agents, virtual humans, and their applications.