Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Henry Sinclair-Banks

Academic Profile

Research Interests

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 determining the complexity of decision problems on counter systems such as One Counter Nets (OCNs) and minimisation questions on semi-linear sets have taken my interest recently.

Please see my presentations for more up-to-date and current details on my research.

Conference Participation

Key: (V)A, (Virtually) Attended.


No publications have been completed yet.

Teaching Responsibilities

Current Roles

Senior Graduate Teaching Assistant

*Not yet confirmed.

Previous Roles

No previous teaching roles have been completed yet.

Henry Sinclair-Banks's Profile Headshot

Henry Sinclair-Banks

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