I am PhD student in the Formal Analysis, Theory and Algorithms group in the School of Computing Science at the University of Glasgow, working with Patrick Prosser and David Manlove on the design, implementation and analysis of algorithms for combinatorial optimisation problems.
Prior to starting my PhD, I worked as research assistant for Dr Manlove on algorithms for kidney exchange and simulations of kidney-exchange schemes.
Publications and Conference Papers
- John P. Dickerson, David F. Manlove, Benjamin Plaut, Tuomas Sandholm and James Trimble: Position-indexed formulations for kidney exchange. In Proceedings of EC 2016: the 17th ACM Conference on Economics and Computation, pages 25-42, ACM, 2016. [ Postprint, Full version ]
- David F. Manlove, Iain McBride and James Trimble: “Almost stable” matchings in the Hospitals / Residents problem with Couples. Constraints, 2016 [ Postprint, Research data, Source code for CP model ]
- Ciaran McCreesh, Patrick Prosser and James Trimble: Morphing between Stable Matching Problems CP 2016: 832-840 [author-final PDF]
- Ciaran McCreesh, Patrick Prosser and James Trimble: Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. IJCAI 2016: 631-638. [abstract and PDF, author-final PDF, Source code]