Skip to main content Skip to navigation

Henry Sinclair-Banks

I'm recently completed the Great North Run.
(Here is proof!)
Please consider donating to my Cancer Research UK fundraiser:
https://fundraise.cancerresearchuk.org/page/henry-sinclair-banksLink opens in a new window

Research

My research interests are currently related to Automata, Complexity, and Logic and widely speaking my interests stem from the foundations of computer science. In particular, I have focussed on determining the complexity of decision problems for infinite-state systems, including: coverability and reachability in extended or restricted variants of both vector addition systems and Petri nets as well as membership, equivalence, and inclusion of counter nets. Please see my presentations here (most notably, see my ICALP'23 best paper presentation).

The Tractability Border of Reachability in Simple Vector Addition Systems with States
with Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki, Łukasz Orlikowski, and Karol Węgrzycki.
Invariants for One-Counter Automata with Disequality Tests
with Dmitry Chistikov, Jérôme Leroux, and Nicolas Waldburger.
Dimension-Minimality and Primality of Counter Nets
with Shaull Almagor, Guy Avni, and Asaf Yeshurun.
Acyclic Petri and Workflow Nets with Resets
with Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, and Filip Mazowiecki.
Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality
with Marvin Künnemann, Filip Mazowiecki, Lia Schütze, and Karol Węgrzycki.
Coverability in 2-VASS with One Unary Counter is in NP
with Filip Mazowiecki and Karol Węgrzycki.

Events

Upcoming: Oxford Verification Seminar (S), FOCS'24Link opens in a new window (P).

Highlights'24Link opens in a new window (S), CONFEST'24 Link opens in a new window(A) including CONCUR'24Link opens in a new window (P), InfAut'24Link opens in a new window (A), ETAPS'24Link opens in a new window (V) including FoSSaCS'24Link opens in a new window (P), IRIF Verification SeminarLink opens in a new window (S), FSTTCS'23Link opens in a new window (P), LaBRI Formal Methods SeminarLink opens in a new window (S), Summer School Marktoberdorf 2023Link opens in a new window (A), Highlights'23Link opens in a new window (S), Autobóz'23Link opens in a new window (A), ICALP'23Link opens in a new window (P) including WORReLL'23 (A), ETAPS'23Link opens in a new window (A) including FoSSaCS'23Link opens in a new window (P) and EMW'23Link opens in a new window (A), OFCOURSE SeminarLink opens in a new window (S), Autobóz'22Link opens in a new window (A), ICALP'22Link opens in a new window (A) including Trends in Arithmetic TheoriesLink opens in a new window (A), Highlights'22Link opens in a new window (S), MOVEP'22Link opens in a new window (S), HALG'22Link opens in a new window (A), BCTCS'22Link opens in a new window (A), ICALP'21Link opens in a new window (V), WILD'20Link opens in a new window (A), CAV'20Link opens in a new window (A) including VMW'20Link opens in a new window (A), ICALP'20Link opens in a new window (A) and LICS'20Link opens in a new window (A) including INFINITY'20Link opens in a new window (A) and LMW'20Link opens in a new window (A), MOVEP'20Link opens in a new window (A).

Key: (A)ttendee, (P)aper, (S)peaker, (V)olunteer.

Teaching

    Senior Graduate Teaching Assistant

    DCS UG SSLC 2020/21 Teaching Award



    Henry Sinclair-Banks

    h.sinclair-banks@warwick.ac.uk

    Department of Computer Science,
    University of Warwick,
    Coventry, CV4 7AL.