Dr Matthew Hague

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.

View all (29) »

ID: 15000156