معرفی
Ciaran McCreesh is a Research Fellow in the School of Computing Science at the University of Glasgow. His research focuses on solving hard combinatorial problems in practice, particularly in graph theory and subgraph finding, leveraging symbolic AI techniques like constraint programming and Boolean satisfiability. He explores closing the gap between theoretical worst-case complexity and practical performance through empirical algorithmics and computational experiments. His work also addresses algorithm reliability via proof logging, parallel hardware exploitation (bit-parallelism, multi-core computing), and algorithm engineering to improve solver accessibility.
- Research interests: Combinatorial optimization, constraint programming, proof logging, parallel computing, algorithm reliability.
- Developed the Glasgow Subgraph Solver, a constraint programming-based tool for hard subgraph isomorphism problems.
Publications span graph computation models, certified solvers, and algorithmic advancements. His work emphasizes practical algorithmic improvements with rigorous validation methods. Supervised students include Matthew McIlree and José Antonio Rodríguez Bacallado.
