Matthew McIlree

Graduate Student, University of Glasgow

Matthew McIlree is a 1st year PhD student at the University of Glasgow, supervised by Dr Ciaran McCreesh, having previously been an undergraduate and research assistant jointly in Mathematics and Computer Science at the University of St Andrews. His research focuses primarily on trustworthy Constraint Programming, specifically how proof logging can be provided for global constraints and various forms of automated reasoning.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Graduate Student