Matthew Hague
  • Phone+44 1784 443673
  • TW20 0EX

If you made any changes in Pure these will be visible here soon.

Personal profile

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.

Keywords

  • Verification
  • Higher-Order
  • Automata
  • Counters
  • Model-Checking
  • Software
  • Infinite-State

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or