Talks
Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
UPCOMING Jul 2026ICALP 2026
An MSO logic for register automata
Jun 2026DIMAP Seminar, University of Warwick INVITED
Universal quantification in automatic structures — an ExpSpace-hard nut to crack
Apr 2026One World Combinatorics on Words Seminar INVITED
MSO Characterization of Register Automata Languages
Sep 2025Highlights of Logic, Games and Automata 2025, Saarbrücken
Cost register automata over min–plus semiring and their boundedness problem
Sep 2024Highlights of Logic, Games and Automata 2024
Universal Quantification Makes Automatic Structures Hard to Decide
Sep 2023CONCUR 2023
Universal quantification in automatic structures: an ExpSpace-hard nut to crack
Jul 2023Highlights of Logic, Games and Automata 2023
Timed Games and Deterministic Separability
Aug 2021FORMATS 2021, online
Determinisability of One-Clock Timed Automata
Sep 2020CONCUR 2020, online
Timed Games and Deterministic Separability
Jul 2020ICALP 2020, online
New Geometrical Approach to Pumping in 2-Dimensional VASS
Jul 2020INFINITY 2020 Workshop, online INVITED
Timed Games and Deterministic Separability
Mar 2020Automata Theory Seminar, University of Warsaw (online) INVITED
Pumping in 2-VASS – Geometry of Runs
Sep 2019Highlights of Logic, Games and Automata 2019, Warsaw
A New Pumping Method for 2-VASS
Aug 2019MFCS 2019, Aachen
WQO Dichotomy Conjecture: Decidability in Petri Nets with Homogeneous Data
Jun 2019DIMAP Seminar, University of Warwick INVITED
New Pumping Technique for 2-Dimensional VASS
Jun 2019Automata Theory Seminar, University of Warsaw INVITED
Decidability in Data Petri Nets – A Conjecture
Sep 2018Highlights of Logic, Games and Automata 2018, Berlin
Petri Nets with Data – WQO Dichotomy Conjecture
May 2018Forum Informatyki Teoretycznej 2018, Cracow
WQO Dichotomy for 3-Graphs
Apr 2018FoSSaCS 2018 (ETAPS), Thessaloniki
WQO Dichotomy Conjecture – Proof of a Special Case
Nov 2017Automata Theory Seminar, University of Warsaw INVITED