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.