Registered user since Fri 10 Jun 2016
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.
|FOSSACS 2019||Committee Member in Program Committee within the FOSSACS 2019-track|
|Show activities from other conferences|
View general profile