Skip to main content Skip to navigation

Henry Sinclair-Banks

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).

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: FoSSaCS'24 (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), and MOVEP'20Link opens in a new window (A).

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

Teaching

Current Roles

Senior Graduate Teaching Assistant

Previous Roles

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.