Skip to main content

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

  • Kristina Asimi

    We welcome to Durham Kristina Asimi to work on the EPSRC project Algebraic Methods for Quantified Constraints! Kristina joins us from Charles University, Prague, where she completed her PhD last year.

    See more including links

  • Izzy Friedlander

    We congratulate Izzy Friedlander on having defended her thesis and now having the corrections accepted! Her thesis is titled “The MacWilliams Identity for the Krawtchouk Association Schemes”.

    See more including links

  • ISAAC 2023 Best Paper Award

    The paper “Matching cuts in graphs of high girth and H-free graphs” by Carl Feghali, Felicia Lucke, Daniel Paulusma and Bernard Ries won a best paper award at the 34th International Symposium on Algorithms and Computation (ISAAC 2023).

    See more including links

  • AUTOMATA 2024

    The 30th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA) will take place between 22 July, 2024 and 24 July, 2024 at Durham University. The local organisers are Max Gadouleau and Karl Southern.

    See more including links

  • Algebraic Methods for Quantified Constraints

    This project has just commenced with Barnaby Martin as PI. It is funded by EPSRC Grant EP/X03190X/1 and concerns the computational complexity of Quantified Constraint Satisfaction Problems (QCSPs). Kristina Asimi will join Durham as a postdoc on the project from the 1st February. She has recently completed her PhD at Charles University in Prague. Catarina…

    See more including links

  • Welcome new members!

    We welcome Michelle Zhang as a postdoctoral research assistant (from 1st August) and Henry Austin and Tala Eagling-Vose as PhD students (from 1st October).

    See more including links

Contact us:
email: [email protected]
tel:+44 (0) 191 334 1700
Find usDirectionsMapsApp