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


Show activities from other conferences

ETAPS 2019-profile
View general profile