Professor Matthew Hague
Professor Matthew Hague
Professor
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.
- Forthcoming
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Research output: Contribution to conference › Paper › peer-review
- E-pub ahead of print
Monadic Decomposition in Integer Linear Arithmetic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Principles of Programming Languages
Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Activity: Participating in or organising an event › Participation in conference
The International Conference on Networked Systems
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