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
-
Pint of Science
Yilin Li (pictured below) is an organiser of Pint of Science in Durham. The event last night at The Head of Steam was titled The Hidden Logic Behind Everyday Tech. Durham CS fielded several speakers: Noura Al-Moubayed, Eamonn Bell and ACiD’s very own Kristina Asimi!
-
Cellular Automata as Paradigmatic Models for Complex Systems
Alberto Dennunzio (visiting Max Gadouleau) will be giving a PhD-level course on Cellular Automata this week. The 16-hour course is entitled “Cellular Automata as Paradigmatic Models for Complex Systems: Dynamical Properties, (Un)Decidability, Algorithmic and Algebraic Aspects”. It is mostly aimed at PhD students but everyone is welcome to join for all or parts of it.
-
York Semigroup Seminar
Barnaby Martin gave the York Semigroup Seminar on the 29th April as part of a double bill with Mark Lawson (Herriot Watt). He spoke on: A tetrachotomy for positive equality-free logic.
-
ICALP 2026
Congratulation to Andrei Krokhin and Danny Vagnozzi on their Track B paper: Approximating 1-in-3 SAT by linearly ordered hypergraph 3-colouring is NP-hard!
-
Welcome Rozana Almohammadi!
Rozana joins ACiD and NESTiD as a PhD candidate with Thomas Erlebach.
-
Welcome Alfie Davies!
We welcome Alfie Davies who joins us from the Memorial University of Newfoundland to work on the project Algorithmic Meta-classifications for Graph Containment.
Contact us:
email: [email protected]
tel:+44 (0) 191 334 1700
Find us: Directions, Maps, App