About

I am a Research Fellow in the Department of Computer Science, University of Warwick, working with Dr. 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).

Alongside my research, I build Reflow TeX, an open-source tool that renders genuine LaTeX in the browser and re-flows it to any screen — a small contribution to the accessibility of scholarly writing.

Feel free to get in touch.

Publications

No publications match your search.

Software

Reflow TeX

Open-source LaTeX-to-web renderer

Renders genuine LaTeX in the browser and re-flows it to fit any screen — instead of being frozen in a fixed-width PDF.

Details · Source · Example: Scoped MSO paper

Magic Canvas

Figma + LaTeX → animated SVG slides · in development, expected 2026

A pipeline for building talk slides that combines Figma for layout, LaTeX for typesetting, and a browser-based viewer presenting the deck as a single, animated SVG.

Details · Example: ICALP 2026 slides

Curriculum Vitae

Download full CV (PDF) →

Academic Positions

Nov 2025 – Aug 2026
Research Fellow · Two-way automata: limitations and frontiers
PI: Prof. Dmitry Chistikov
Department of Computer Science, University of Warwick
Nov 2024 – Sep 2025
Research Associate · FUN2MODEL
PI: Prof. Marta Kwiatkowska
Department of Computer Science, University of Oxford
Dec 2022 – Oct 2024
Research Associate · ARiAT
PI: Prof. Christoph Haase
Department of Computer Science, University of Oxford

Education

2022
Ph.D. in Computer and Information Sciences (with honours)
University of Warsaw
Thesis: 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
Co-organiser, INFINITY 2026 — 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
Admissions Interviewer, Trinity College, University of Oxford — CS undergraduate admissions panel
2023
Local organiser, CSL 2023
Local organiser, CSL 2023 — 31st EACSL Annual Conference on Computer Science Logic, University of Warsaw
2022
Local organiser, CONCUR 2022
Local organiser, CONCUR 2022 — 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
Website design and implementation, WG 2021 — 47th International Workshop on Graph-Theoretic Concepts in Computer Science
2019–2021
Webmaster, Highlights of Logic, Games and Automata
Webmaster, Highlights of Logic, Games and Automata — 2019 (Warsaw), 2020, 2021 editions
2019
Local organiser, DLT 2019
Local organiser, DLT 2019 — 23rd International Conference on Developments in Language Theory, University of Warsaw
2017
Local organiser, ICALP 2017 (Warsaw)
Local organiser, ICALP 2017 (Warsaw) — 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 (2022/23, 2023/24)
  • Models of Computation (Michaelmas term 2023/24)
2017–2020
University of Warsaw
  • Foundations of Mathematics (2019/20) – basics of set theory
  • Object-oriented Programming and Design (2019/20) – oop in Java
  • Languages, Automata and Computations (2018/19, 2017/18) – introduction to automata theory
  • Introduction to Computer Science (2018/19, 2017/18) – programming in Python
  • Languages, automata and computations II (2020/21) – advanced topics in automata theory

Talks

See talks →

Download full CV (PDF) →