Home
ACiD, Algorithms and Complexity in Durham, is a world-leading research group with research programmes involving many international collaborators. Theoretical Computer Science comprises the development of algorithmic techniques that efficiently exploit the power of modern computers, the study of the limits of computation and the ways in which we can cope with, and take advantage of, intractability, and the science of the unsolvable.
The group is broad-based with research foci including computational complexity, proof complexity, descriptive complexity, graph theory, exact algorithms, randomised algorithms, approximation algorithms, parameterized algorithms, finite model theory, constraint satisfaction, interconnection networks, universal algebra and mathematical logic.
ACiD News
-
Craig Miller joins us as PDRA
We welcome Craig Miller who joins us from the University of York as a postdoc to work with Andrei Krokhin on Promise Constraint Satisfaction Problem: Structure and Complexity!
-
Barnaby Martin joins EPSRC SAT
Barnaby Martin has been invited to join an EPSRC Strategic Advisory Team (SAT). These SATs contain business and academic experts to help EPSRC develop their Theme strategy.
-
First call for papers of SAND 2026
The first call for papers is out for the 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026) which will be held July 1-3, 2026 in Le Havre, France. Our own George Mertzios is the PC co-Chair.
-
Tom Friedetzky papers at SODA 2026!
We congratulate Tom Friedetzky for his two papers accepted at SODA 26: Balls and Bins and the Infinite Process with Random Deletions (with Petra Berenbrink, Peter Kling, and Lars Nagel) and (Almost) Perfect Discrete Iterative Load Balancing (with Petra Berenbrink, Robert Elsässer, Hamed Hosseinpour, Dominik Kaaser, Peter Kling, and Thomas Sauerwald).
-
Xin Ye passes PhD viva!
We congratulate Xin, on passing her viva with minor corrections, for her PhD thesis on “Computing Balanced Solutions for International Kidney Exchange Schemes”. The thesis is based on work published in AAMAS, Autonomous Agents and Multi-Agent Systems, and the Journal of Artificial Intelligence Research. She was supervised by Daniel Paulusma and Matthew Johnson. Thanks are…
-
Welcome to Zoey Zeng!
We welcome to the group Huiying (Zoey) Zeng! She will be supervised by Max Gadouleau and Daniel Paulusma.
Contact us:
email: [email protected]
tel:+44 (0) 191 334 1700
Find us: Directions, Maps, App