- PhD student working with Patrick Prosser and David Manlove in the Formal Analysis, Theory and Algorithms and Parallelism groups in the School of Computing Science at the University of Glasgow.
- Email: c.mccreesh.1 at research.gla.ac.uk
- Office: G161 Lilybank Gardens

- Solving (NP) hard problems in practice, particularly combinatorial optimisation and graph theory problems.
- Symmetries in hard problems.
- Parallel branch and bound.

- I am involved in Phase III of the SICSA MultiCore Challenge. There is a repository for some of the code.

- Ciaran McCreesh, Patrick Prosser: A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem. Optimization Letters (2014) [DOI, Preprint via arXiv].
- Ciaran McCreesh, Patrick Prosser: The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound. To appear in ACM Transactions on Parallel Computing. [Preprint via arXiv].
- Ciaran McCreesh, Patrick Prosser: Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. CP 2014: 549-563 [DOI, author-final PDF]
- Ciaran McCreesh, Patrick Prosser: An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem. CPAIOR 2014: 226-234 [DOI, author-final PDF]
- Ciaran McCreesh, Patrick Prosser: Multi-Threading a State-of-the-Art Maximum Clique Algorithm. Algorithms 6(4): 618-635 (2013) [DOI, PDF]

- A longer talk on sequential and parallel maximum clique algorithms
- SICSA PhD Conference talk on solving hard graph problems in parallel

- Solving Hard Graph Problems in Parallel, second place at CP 2014. [source]
- Solving Hard Problems by Counting and Colouring Things In, for an industry event with a less-technical audience. [source]

- Sylwester Arabas, Michael R. Bareford, Lakshitha R. de Silva, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Miguel A. Nacenta, Ruma R. Paul, Karen E. J. Petrie, Abdul Razaq, DaniĆ«l Reijsbergen, Kenji Takeda: Case Studies and Challenges in Reproducibility in the Computational Sciences. CoRR abs/1408.2123 (2014) [arXiv]
- Ciaran McCreesh, Patrick Prosser: Finding Maximum k-Cliques Faster using Lazy Global Domination. CoRR abs/1408.6485 (2014) [arXiv]
- Ciaran McCreesh, Patrick Prosser: Greedy Graph Colouring is a Misleading Heuristic. CoRR abs/1310.7741 (2013) [arXiv]
- Ciaran McCreesh, Patrick Prosser: Distributing an Exact Algorithm for Maximum Clique: maximising the costup. CoRR abs/1209.4560 (2012) [arXiv]

- My guest lectures for Constraint Programming (M) 2014: