Computer Science

University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.

University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .

Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.

Theoretical and applied machine learning guy. Contact information and selected publications.

Stanford University - Syntax, computational linguistics.

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.

CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management

Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).

Electronic reference library for programmers and IT professionals. Offers search, annotate, read and build a personal reference collection.

Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as relevant conference reviews, are included.

Focuses on the contribution of computing to statistics and vice versa in variety of fields of statistics. Publisher's site: abstracts, with full text for subscribers.

Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers.

Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.

Research group in the Computing Laboratory, Oxford University.

Professor in Department of Mathematics at Purdue University.

University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.

FACS promotes the development of formal approaches of production of computer-based systems.

Research areas include design and analysis of algorithms, models of computation, and computational complexity.

Offers M.E. and Ph.D. programs. Contains online documentation, technical reports, personal homepages, and events information.

Conducts an under-graduate program. Information about courses, infrastructure and faculty.

Faculty of Computer Science.

An international undergraduate course, taught in English, that integrates information and communication technology, and governance skills.

Offers MS. and Ph.D. programs. Contains admission information, lab and member information, history and access map.

Home: Department of Statistics and Computer Science. Offers 3 year general degree in B.Sc and 4 year special degree B.Sc in Computer Science

Department of Computer Science. Offers Bachelor's and Master's programs.

Department of Computer Science and Engineering, Faculty of Electrical Engineering.

Computer Science Laboratory. Research areas include parallelism, networks and systems; automatic deduction; Architecture synthesis and computer arithmetic; and models of computation and complexity.

Department of Computer and Information Science. Research topics include VLSI, algorithms for planar networks, discrete algorithms, software engineering, network design, railroad applications, graph visualization, and optimization in object databases.

Department of Computer Science. Research areas include Computer Vision, Acousto-Optical Computing, Databases, AI, Transport Telematics, Numerical Computing and Interacting Systems.

Department of Computer Science and Artificial Intelligence.

Department of Computers and Informatics.

Department of Numerical Analysis and Computing Science

Faculty of Computing, Engineering and Mathematical Sciences. Research areas include: Systems design; Medical informatics; Information systems; Community information systems.

School of Computer Science and Information Systems. Includes history, staff details and course information.

Computing group of Faculty of Arts, Computing, Engineering and Sciences.

School of Computing. Research groups: Constraint programming and OR; Knowledge representation and reasoning; Multi-disciplinary informatics; Perception and language; Scientific computation and visualisation; Theoretical computer science.

Computing Laboratory. Main research groups: Programming research; Numerical analysis.

Computer Science Department. Research groups: Data and Knowledge Engineering ; Geograhical Information Systems; Software Engineering.

Centre for Parallel Computing.

Computer Science Department. Groups: Theoretical computer science; Computer graphics and visualisation; Scientific computation.

Information Systems Security Group.

A multidisciplinary school incorporating: computer science, engineering, information technology, mathematics, and statistics within the Faculty of Science and Engineering at Adelaide's Flinders University.

Includes faculty, enrollment, handbook, programs, diploma, publications, seminars, news, people, courses, administrations, locations, and forums.

Provides a blog and information for developers and publishers. Includes documentation, APIs, tools, support and resources.

A distributed computing project currently working on RC5-72 and OGR-27 (Optimal Golomb Rulers). Previous projects included CSC and DES.

Project provides software to search for primes of a specific form. Coordinated via email.

BOINC project to predict and design protein structures and protein-protein and protein-ligand interactions. The goal is to develop methods that accurately predict and design protein structures and complexes.

Includes an overview, subscription information and published articles.