ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Matthew Hague

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

FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile