About
I am a Research Fellow in the Department of Computer Science, University of Warwick, working with Prof. Dmitry Chistikov on the project Two-way automata: limitations and frontiers.
My research lies in theoretical computer science, with a focus on automata theory, logic, and infinite-state systems — covering expressivity and decidability of decision problems for register and timed automata and transducers, MSO and first-order logic over data words and automatic structures, and verification problems for counter systems and VASS.
I completed my Ph.D. (with honours) at the University of Warsaw in 2022, writing a thesis on simplification problems for infinite-state systems. Before joining Warwick, I held postdoctoral positions at the University of Oxford: with Prof. Christoph Haase on the ARiAT project (2022–2024), and with Prof. Marta Kwiatkowska on the FUN2MODEL project (2024–2025).
Feel free to get in touch.
Publications
{{ pub.title }} {{ pub.title }}
{{ isExpanded(pub.title) ? pub.venue : (pub.venue_short ?? pub.venue) }} · {{ typeLabel(pub.type) }}
{{ pub.abstract }}
Curriculum Vitae
Academic Positions
- Nov 2025 – Aug 2026
-
Research Fellow
· Two-way automata: limitations and frontiers
PI: Prof. Dmitry ChistikovDepartment of Computer Science, University of Warwick
- Nov 2024 – Sep 2025
-
Research Associate
· FUN2MODEL
PI: Prof. Marta KwiatkowskaDepartment of Computer Science, University of Oxford
- Dec 2022 – Oct 2024
-
Research Associate
· ARiAT
PI: Prof. Christoph HaaseDepartment of Computer Science, University of Oxford
Education
- 2022
-
Ph.D. in Computer and Information Sciences
(with honours)
University of WarsawThesis: Tame the Infinite – Simplification Problems for Infinite-State Systems
- 2017
-
MSc in Computer Science
(with honours)
University of Warsaw
- 2015
-
BSc in Computer Science
(with honours)
University of Warsaw
Awards & Recognition
- Jul 2020
- Best Video Award, ICALP 2020
- 2017–2022
- Scholarship for the best PhD students (awarded 4 times)
- 2017
- 3rd place, Polish nationwide competition for best master's theses in computer science
Service
- 2026
-
Co-organiser, INFINITY 2026 Details Hide
24th International Workshop on Verification of Infinite-State Systems, satellite of ICALP 2026, Royal Holloway, University of London - 2024
-
Admissions Interviewer, Trinity College, University of Oxford Details Hide
CS undergraduate admissions panel - 2023
-
Local organiser, CSL 2023 Details Hide
31st EACSL Annual Conference on Computer Science Logic, University of Warsaw - 2022
-
Local organiser, CONCUR 2022 Details Hide
33rd International Conference on Concurrency Theory; responsible for the visual identity of the conference, website design and implementation, printed materials (badges, door signs, signage), and on-site support - 2021
-
Website design and implementation, WG 2021 Details Hide
47th International Workshop on Graph-Theoretic Concepts in Computer Science - 2019–2021
- 2019
-
Local organiser, DLT 2019 Details Hide
23rd International Conference on Developments in Language Theory, University of Warsaw - 2017
-
Local organiser, ICALP 2017 (Warsaw) Details Hide
Designed and implemented a real-time HTML/JS conference schedule display, shown on screens throughout the venue, pulling live data from a shared spreadsheet and presenting the next upcoming talks across parallel tracks
Teaching
- 2022–2024
-
University College, University of Oxford
- Imperative Programming (Hilary term 2022/23)
- Models of Computation (Michaelmas term 2023/24)
- Imperative Programming (Hilary term 2023/24)
- 2017–2020
-
University of Warsaw
- Foundations of Mathematics (2019/20)
- Object-oriented Programming and Design (2019/20)
- Languages, Automata and Computations (2018/19, 2017/18)
- Introduction to Computer Science (2018/19, 2017/18)