• Status:
  • 05/10/20: Started PhD in Computer Science
  • 15/06/24: Submitted PhD thesis for examination
  • 23/08/24: Passed PhD viva with minor corrections
  • 04/09/24: Submitted corrected PhD thesis for approval
  • 05/09/24: Corrections accepted by the internal examiner
  • 09/09/24: Placed on the September 2024 pass list by the Doctoral College
  • 25/09/24: September 2024 pass list conferred by the Senate
  • 15/10/24: Notified by Student Records
• Supervisor: Dmitry Chistikov (75%), Second Supervisor: Marcin Jurdziński (25%)
• Examiners: Ranko Lazić (internal) and Richard Mayr (external)
• Advisors: Ranko Lazić and Sayan Bhattacharya
• Theme: Theory and Foundations
• Groups:
  • Foundations of Computer Science (FoCS)
  • Centre for Discrete Mathematics and its Applications (DIMAP)
• Funding: EPSRC DTP AwardLink opens in a new window
• Undergraduate: BSc Discrete Mathematics (University of Warwick, 2017-20)

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 and FOCS'24 (pre-recorded) 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.

• To appear in FOCS'24.
• Presentations: FOCS'24, Oxford Verification Seminar, Highlights'24, KIT Algorithms & Complexity Seminar, and WPCCS'23 Winter.

Invariants for One-Counter Automata with Disequality Tests
with Dmitry Chistikov, Jérôme Leroux, and Nicolas Waldburger.

• In CONCUR'24 [DOI], Full version (arXiv), Abstract.
• Presentations: CONCUR'24.

Dimension-Minimality and Primality of Counter Nets
with Shaull Almagor, Guy Avni, and Asaf Yeshurun.

• In FoSSaCS'24 [DOI], Full version (arXiv), Abstract.
  

Acyclic Petri and Workflow Nets with Resets
with Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, and Filip Mazowiecki.

• In FSTTCS'23 [DOI], Full version (arXiv), Abstract.
  
• Presentations: FSTTCS'23.

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.

• In ICALP'23 [DOI], Full version (arXiv), Abstract, Poster.
• Presentations: IRIF Verification Seminar, LaBRI M2F Seminar, Highlights'23, ICALP'23, Warwick FoCS Theory Day, and WPCCS'23.

• Awarded ICALP'23 Track B Best Paper (Warwick DCS News).

Coverability in 2-VASS with One Unary Counter is in NP
with Filip Mazowiecki and Karol Węgrzycki.

• In FoSSaCS'23 [DOI], Full version (arXiv), Abstract, Poster.
• Presentations: FoSSaCS'23, MPI-SWS OFCOURSE Seminar, Highlights'22, MOVEP'22, and Warwick FoCS Theory Day.

Events

FOCS'24Link opens in a new window (P), Oxford Verification Seminar (S), 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

• Associate Tutor for CS259 - Formal Languages
  • Term two 2023/24 (Jan - Mar), organised by Ramanujan Sridharan

• Associate Tutor for CS356 - Approximation and Randomised Algorithms
  • Term two 2022/23 (Jan - Mar), organised by Sayan Bhattacharya
  • Term two 2021/22 (Jan - Mar), organised by Sayan Bhattacharya
  • Term two 2020/21 (Jan - Mar), organised by Sayan Bhattacharya
• Associate Tutor for CS130 - Mathematics for Computer Scientists 1
  • Term one 2022/23 (Oct - Dec), organised by Dmitry Chistikov

• Associate Tutor for CS301 - Complexity of Algorithms
  • Term one 2023/24 (Oct - Dec), organised by Matthias Englert
  • Term one 2021/22 (Oct - Dec), organised by Matthias Englert
• Associate Tutor for CS260 - Algorithms
  • Term one 2021/22 (Oct - Dec), organised by Marcin Jurdziński
  • Term one 2020/21 (Oct - Dec), organised by Marcin Jurdziński

DCS UG SSLC 2020/21 Teaching Award

Henry Sinclair-Banks

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