Matthew J. McIlree (Preferred)
Matthew J. McIlree
PhD student, Computing Science, University of Glasgow
Joined
August 2024
Names
Emails
****@research.gla.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
Computing Science, University of Glasgow (glasgow.ac.uk)
2022 – 2026
Advisors, Relations & Conflicts
Expertise
constraint programming
2022 – Present
proof logging
2022 – Present
constraint propagation
2022 – Present
constraint satisfaction
2022 – Present
certifying algorithms
2022 – Present
global constraints
2022 – Present
pseudo-Boolean solving
2022 – Present