Matthew McIlree

Matthew McIlree is a PhD Student and Tutor at the School of Computing Science, University of Glasgow, with research expertise in constraint programming, algorithm certification, and formal verification.

His work focuses on advancing proof logging techniques for constraint solvers, certifying dynamic programming algorithms, and generating human-readable explanations for computational problems ranging from logic puzzles to industrial optimization. Key themes in his research include integer multiplication constraints, pseudo-boolean reasoning, and minimal unsatisfiable subsets (MUSes).

Recent publications highlight his contributions to

• certified constraint propagation algorithms
• dynamic programming verification
• explanation generation for pen-and-paper puzzles

His academic output spans conferences in constraint programming, artificial intelligence, and operations research.

He is currently engaged in developing formal verification systems for combinatorial algorithms and exploring applications of constraint programming in both theoretical and applied problem-solving domains.