ETAPS 2019 (series) / Matthew Hague
![Matthew Hague](https://conf.researchr.org/getProfileImage/matthewhague/5c437fd0-b018-440c-9e0f-dad8a91fc207/small.jpg?1711521404000)
Registered user since Fri 10 Jun 2016
Name:Matthew Hague
Bio:
I am interested in the verification of infinite-state systems, focussing on higher-order and counter-based automata models, with a view towards producing practical tools from theoretical results with a handling of concurrent systems.
Country:United Kingdom
Affiliation:Royal Holloway, University of London
Personal website: http://www.cs.rhul.ac.uk/home/hague/
Contributions
ETAPS 2019-profile
View general profile
View general profile