Fundamental Algorithms for Artificial Intelligence

Focus of our research

CDS’s approach is to take fundamental scientific ideas in Artificial Intelligence (AI) and data science and apply these to real-world data-driven problems. However, successful applications rely on the development of new theory, algorithms and implementations to underpin these techniques, and so CDS has a dedicated theme here.

We are interested in both high-level algorithm design to give more powerful AI, and also low-level circuit implementations to better support and adapt to crucial techniques like artificial neural networks. We also have expertise in algorithms to preserve information security, topological data analysis techniques to provide insight on the shape of potentially large and noisy data, and the embedding of ethics considerations into Artificial Intelligence.

Our interests extend also to the application of AI techniques to further other fundamental areas of computer science, such as symbolic computation and computer algebra systems to automate exact mathematics, SAT/SMT-solver technology for constraint checking and verification, and novel meta-heuristic approaches to NP-Hard problems.