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

Registered user since Fri 10 Jun 2016

Name:Matthew Hague

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


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

ETAPS 2019-profile
View general profile