معرفی
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
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.
Matthew McIlree در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Ciaran McCreeshUniversity of Glasgow · پژوهشگر ارشد- OOliver KullmannSwansea University · دانشیار
Ian GentUniversity of St Andrews · استاد- EEnric Rodríguez CarbonellPolytechnic University of Catalonia · استاد
Ruth HoffmannUniversity of St Andrews · مدرس
Olivier BailleuxUniversity of Burgundy · استاد پژوهشی