CeNT 03.108
Department of Mathematics, Informatics and Mechanics
University of Warsaw
Poland
Email: hsb (at) mimuw (dot) edu (dot) pl
I am a postdoctoral researcher (PL: Adiunkt) at the University of Warsaw, Poland working under Dr. Wojciech Czerwiński's ERC grant “INFSYS”. I'm the main applicant of “Weighted Automata meets Matrix Reachability meets Noncommutative Power Series” (see “Wyniki konkursu”), an IDUB Thematic Research Program project (funded by the University of Warsaw). You can find my employee page here.
I obtained a PhD in Computer Science from the University of Warwick, UK in 2024. I was supervised by Dr. Dmitry Chistikov and Dr. Marcin Jurdzinski. My thesis, titled “On the Complexity of Reachability Problems in Counter Systems”, was examined by Prof. Ranko Lazić (University of Warwick, UK) and Dr. Richard Mayr (University of Edinburgh, UK). Before that, I obtained a BSc in Discrete Mathematics from the University of Warwick, UK in 2020. You can find my old Warwick personal webpage here.
My research interests, widely speaking, stem from the foundations of computer science; they are related to automata, complexity, and logic. In particular, I have mainly focussed on reachability problems in infinite-state systems (including vector addition systems, Petri and workflow nets, weighted automata, and counter nets). For example, I have worked on determining the exact complexity of coverability in vector addition systems and determining the complexity of reachability in flat VASS and 1-VASS with disequality tests.
See my dblp, Google Scholar, and ORCiD.
My presentations are lised below my papers (most notably, see my ICALP'23 best paper presentation and my FOCS'24 prerecorded conference talk).
A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
Yousef Shakiba,
Henry Sinclair-Banks, and
Georg Zetzsche.
Submitted.
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Dmitry Chistikov,
Wojciech Czerwiński,
Filip Mazowiecki,
Łukasz Orlikowski,
Henry Sinclair-Banks, and
Karol Węgrzycki.
In
FOCS'24,
DOI.
Conference presentation video.
Full Version.
Abstract.
Invariants for One-Counter Automata with Disequality Tests
Dmitry Chistikov,
Jérôme Leroux,
Henry Sinclair-Banks, and
Nicolas Waldburger.
In
CONCUR'24,
DOI.
Full Version.
Abstract.
Dimension-Minimality and Primality of Counter Nets
Shaull Almagor,
Guy Avni,
Henry Sinclair-Banks, and
Asaf Yeshurun.
In
FoSSaCS'24,
DOI.
Full Version.
Abstract.
Acyclic Petri and Workflow Nets with Resets
Dmitry Chistikov,
Wojciech Czerwiński,
Piotr Hofman,
Filip Mazowiecki, and
Henry Sinclair-Banks.
In
FSTTCS'23,
DOI.
Conference presentation video.
Full Version.
Abstract.
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Marvin Künnemann,
Filip Mazowiecki,
Lia Schütze,
Henry Sinclair-Banks, and
Karol Węgrzycki.
In
ICALP'23,
DOI.
Conference presentation video.
Awarded ICALP'23 Track B Best Paper.
Full Version.
Abstract.
Accepted, subject to minor revisions, to
JACM.
Coverability in 2-VASS with One Unary Counter is in NP
Filip Mazowiecki,
Henry Sinclair-Banks, and
Karol Węgrzycki.
In
FoSSaCS'23,
DOI.
Conference presentation video.
Full Version.
Abstract.
Upcoming: Automata in the Wild 2025 (S), MIMUW Automata Theory Seminar (S), and SAMSA Workshop (O) .
Liverpool Verification Seminar (S), ISTA Group Seminar (S), FOCS'24 (P), Oxford Verification Seminar (S), Highlights'24 (S), CONFEST'24 (A) including CONCUR'24 (P), KIT Algorithms & Complexity Seminar (S), Infinite Automata 2024 (A), ETAPS'24 (A) including FoSSaCS'24 (P), IRIF Verification Seminar (S), FSTTCS'23 (P), LaBRI Formal Methods Seminar (S), Summer School Marktoberdorf 2023 (A), Highlights'23 (S), Autobóz'23 (A), ICALP'23 (P) including WORReLL'23 (A), ETAPS'23 (A) including FoSSaCS'23 (P) and EMW'23 (A), OFCOUSE Student Talk Series (S), Autobóz'22 (A), ICALP'22 (A) including Trends in Arithmetic Theories (A), Highlights'22 (S), MOVEP'22 (S), HALG'22 (A), BCTCS'22 (A), ICALP'21 (V), Automata in the Wild 2021 (A), CAV'20 (A) including VMW'20 (A), ICALP'20 (A) and LICS'20 (A) including INFINITY'20 (A) and LMW'20 (A), MOVEP'20 (A).
Key: (A)ttendee, (P)aper, (S)peaker, (V)olunteer.
All videos of presentations are on my YouTube page (except the FOCS'24 prerecorded conference talk).
I was a Senior Graduate Teaching Assistant at the University of Warwick, UK during my PhD from October 2020 to March 2024.
*I also delivered a (48-minute) lecture about polynomial space Turing machines, as part of the Complexity of Algorithms (CS301) course, for third year undergraduate students.
Here is a list of my favourite coffee shops (at most one per town or city). Sorted alphabetically by city name.
Aalborg (Denmark):
Behag Din Smag.
Last visited: June 2022.
Slotsgade 16A, 9000 Aalborg.
Bordeaux (France):
Café Piha.
Last visited: September 2024.
69 Rue des Ayres, 33000 Bordeaux.
Bratislava (Slovakia):
Casa del Caffé.
Last visited: November 2022.
Dunajská 4517/29, 811 08 Bratislava.
Calgary (Canada):
Sought and Found Coffee Roasters.
Last visited: September 2024.
916 Centre Street North, Calgary, AB T2E 2P7.
Cheltenham (UK):
The Coffee Dispensary.
Last visited: July 2024.
18 Regent Street, Cheltenham GL50 1HE.
Chicago (USA):
Intelligentsia Coffee (Millennium Park Coffeebar).
Last visited: October 2024.
53E Randolph Street, Chicago, IL 60601.
Coventry (UK):
Bean & Leaf Coffee House.
Last visited: October 2024.
76 Hertford Street, Coventry CV1 1LB.
Hyderabad (India):
Roast 24 Seven.
Last visited: December 2023.
First building north of: Vyshnavi Cynosure, Gachibowli, Hyderabad, Telangana 500032.
Kaiserslautern (Germany):
Carla Ohio Coffee and Things.
Last visited: February 2024.
Pirmasenser Straße 5, 67655 Kaiserslautern.
Kassel (Germany):
Die Kaffeerösterin.
Last visited: July 2023.
Wilhelmsstraße 31, 34117 Kassel.
Leamington Spa (UK):
Spa Town Coffee.
Last visited: January 2025.
94 Warwick Street, Leamington Spa CV32 4QG.
Leicester (UK):
Saints of Mokha Coffee Roasters.
Last visited: February 2025.
51 Belvoir Street, Leicester LE1 6SL.
Leighton Buzzard (UK):
Espresso Head.
Last visited: July 2024.
8 Hockliffe Street, Leighton Buzzard LU7 1HJ.
Liverpool (UK):
Bean Coffee.
Last visited: February 2025.
18-20 College Lane, Liverpool L1 3DS.
London (UK):
Prufrock Coffee.
Last visited: February 2025.
23-25 Leather Lane, London EC1N 7TE.
Luxembourg City (Luxembourg):
Do for Love.
Last visited: April 2024.
51 Boulevard Royal, 2449 Ville-Haute (Luxembourg).
Mannheim (Germany):
Kaffeerösterei Lauri.
Last visited: November 2022.
Seckenheimer Straße 31, 68165 Mannheim.
Munich (Germany):
Man versus Machine Coffee Roasters.
Last visited: July 2023.
Schellingstraße 18, 80799 München.
Oxford (UK):
New Ground Coffee.
Last visited: March 2024.
6 Ship Street, Oxford OX1 3DE.
Paderborn (Germany):
Deppe & Co.
Last visited: July 2023.
Neuer Platz 4, 33098 Paderborn.
Paris (France):
Brouillon Coffee.
Last visited: July 2022.
42 Boulevard de Magenta, 75010 Paris.
Prague (Czechia):
Mazelab Roastery & Store.
Last visited: February 2024.
Československé armády 729/28, 160 00 Praha 6-Bubeneč.
Sofia (Bulgaria):
RITZ Specialty Coffee.
Last visited: June 2024.
Tsar Osvoboditel Boulevard 12A, 1000 Sofia.
Stratford-upon-Avon (UK): Box Brownie Coffee.
Last visited: October 2024.
20 Henley Street, Stratford-upon-Avon CV37 6QW.
Swansea (UK):
The Cwtch.
Last visited: April 2022.
9 Caer Street, Swansea SA1 3PP.
Trondheim (Norway):
Jacobsen & Svart Coffee Roasters.
Last visited: August 2024.
Brattørgata 4, 7010 Trondheim.
Vienna (Austria):
Alt Wien Kaffee Coffee.
Last visited: December 2024.
Schleifmühlgasse 23, 1040 Wien.
Warsaw (Poland):
LAB Speciality Coffee.
Last visited: March 2025.
Wspólna 70, 00-687 Warszawa.
Zurich (Switzerland):
MAME Josef.
Last visited: October 2023
Josefstrasse 160, 8005 Zürich.