• Status: Computer Science PhD Student (Oct 2020 - Current)
• Supervisor: Dmitry Chisitkov (75%), Second Supervisor: Marcin Jurdzinski (25%)
• 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).

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

ETAPS'24 (V) including 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

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 Jurdzinski
  • Term one 2020/21 (Oct - Dec), organised by Marcin Jurdzinski

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.