Skip to main content Skip to navigation

Henry Sinclair-Banks

Interests

My research interests are currently related to Automata, Complexity, and Logic and widely speaking my interests stem from the Foundations of Computer Science. Minimisation questions on semi-linear sets have taken my interest recently. In particular determining the complexity of decision problems on counter systems such as (non-)membership and universality for unary alphabet One Counter Nets.

Events

Key: A = Attendee, R = Reviewer, V = Volunteer.

Presentations

Please see my presentations for more current detail on my research.

Publications

No publications have been completed yet.

Teaching

Current Roles

Senior Graduate Teaching Assistant (No active modules)

Previous Roles

Senior Graduate Teaching Assistant

DCS UG SSLC 2020/21 Teaching Award

Henry Sinclair-Banks's Profile Headshot

Henry Sinclair-Banks

h.sinclair-banks@warwick.ac.uk

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