Matthew Hague (Preferred)
Matthew Hague
Lecturer, Royal Holloway and Bedford New College
Joined
June 2024
Names
Emails
****@rhul.ac.uk (Confirmed)
Personal Links
Career & Education History
Lecturer
Royal Holloway and Bedford New College (royalholloway.ac.uk)
2013 – Present
Advisors, Relations & Conflicts
Expertise
String Constraints
2017 – Present
Automata
2004 – Present
Logic
2004 – Present
Infinite-State Systems
2004 – Present
Publications
No publications