Dr Matthew Hague
Dr Matthew Hague
Reader
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
CSS Minification via Constraint Solving
Research output: Contribution to journal › Article
- E-pub ahead of print
Decision procedures for path feasibility of string-manipulating programs with complex operations
Research output: Contribution to conference › Paper
- Published
Decidable models of integer-manipulating programs with recursive parallelism
Research output: Contribution to journal › Article
Asian Programming Languages and Systems
Activity: Participating in or organising an event › Participation in conference
International Conference on Engineering of Complex Computer Systems
Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Activity: Participating in or organising an event › Participation in conference
String Constraint Solving with Real-World Regular Expressions
Project: Research
Verification of Concurrent and Higher-Order Recursive Programs
Project: Research
ID: 15000156