A centre for research in computer science, numerical analysis, computational biology, quantum compu...
Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey.
University of California, Irvine. Research centers on the design and analysis of algorithms and dat...
Research includes sequential and parallel algorithms, computational problems in databases, computat...
Major field of research is database theory with a focus on query languages and use of the methods o...
FACS promotes the development of formal approaches of production of computer-based systems.
Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory.
International Research Group for Computational Mathematics
This project focuses on both the technical challenges of handling sensitive data and the policy and...
Research areas include design and analysis of algorithms, models of computation, and computational ...
Centred around mathematical models of a variety of languages and logics, using techniques such as s...
Research areas include algorithms, complexity theory, computation and biology, cryptography and inf...