• 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

Papers and Presentations

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.

Events

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

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