Dr Matthew Hague
Dr Matthew Hague
EPSRC Early Career Fellow
Phone: +44 1784 443673
Personal profile
I am interested in theoretical and practical/implementational aspects of infinite-state verification, with a focus on higher-order recursion and counter systems.
Please see my personal homepage for up-to-date information and paper/software downloads.
- Published
Generating Concurrency Checks Automatically
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Decidable models of integer-manipulating programs with recursive parallelism
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Forthcoming
Collapsible Pushdown Automata and Recursion Schemes
Research output: Contribution to journal › Article
ID: 15000156