Current Position
I'm an assistant professor (pol. adiunkt) at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw.
List of my publications
2008
- A Few New Facts about the EKG Sequence work with Marcin Pilipczuk
2010
- Relating timed and register automata work with Sławomir Lasota and Diego Figueira
2011
- Decidability of branching bisimulation on normed commutative context-free processes
work with Sławomir Lasota and Wojciech Czerwiński
2012
- Reachability problems for Multistack Stateless Automata work with Sławomir Lasota and Wojciech Czerwiński
- Approximating Weak Bisimilarity of Basic Parallel Processes work with Patrick Totzke
2013
- Decidability of Weak Simulation on One-counter Nets work with Richard Mayr and Patrick Totzke
- Simulation Over One-counter Nets is PSPACE-Complete work with Sławomir Lasota, Richard Mayr and Patrick Totzke
2014
- Synthesizing transformations from XML schema mappings work with Claire David, Filip Murlak and Michał Pilipczuk
- Infinite-State Energy Games work with Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, K. Narayan Kumar and Patrick Totzke
- Trace Inclusion for One-Counter Nets Revisited work with Patrick Totzke
2015
- Separability by Short Subsequences and Subwords work with Wim Martens
- Active Diagnosis with Observable Quiescence work with Stanislav Böhm, Stefan Haar, Serge Haddad, and Stefan Schwoon
2016
- Tightening the Complexity of Equivalence Problems for Commutative Grammars work with Christoph Haase
- Shortest paths in one-counter systems work with Dmitry Chistikov, Wojciech Czerwinski, Michal Pilipczuk and Michael Wehar
- Coverability Trees for Petri Nets with Unordered Data work with Sławomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, and Patrick Totzke
- Complexity of regular abstractions of one-counter languages work with Mohamed Faouzi Atig, Dmitry Chistikov,
K Narayan Kumar, Prakash Saivasan, and Georg Zetzsche
2017
- Linear Combinations of Unordered Data Vectors work with Jérôme Leroux and Patrick Totzke
- Bounding Average-energy Games work with Patricia Bouyer, Nicolas Markey, Mickael Randour, and Martin Zimmermann
- On Büchi One-Counter Automata work with Stanislav Böhm, Stefan Göller, Simon Halfon
2018
- Linear Equations with Ordered Data work with Sławomir Lasota.
- Unboundedness problems for languages of vector addition systems work with Wojciech Czerwiński, Georg Zetzsche
2019
- Shortest paths in one-counter systems work with Dmitry Chistikov, Wojciech Czerwinski, Michal Pilipczuk, and Michael Wehar
- Timed Basic Parallel Processes work with Lorenzo Clemente, and Patrick Totzke (supported by NCN grant UMO-2016/21/D/ST6/01368)
- Continuous Reachability for Unordered Data Petri Nets is in PTime work with Utkarsh Gupta, Preey Shah, and S. Akshay
2020
- Universality Problem for Unambiguous VASS work with Wojciech Czerwinski, and Diego Figueira
- Parametrized Universality Problems for One-Counter Nets work with Shaull Almagor, Udi Boker, and Patrick Totzke
2021
- Linear equations for unordered data vectors work with Jakub Różycki.
- Parikh's theorem for infinite alphabets work with Marta Juzepczuk, Slawomir Lasota, and Mohnish Pattathurajan
-
A lower bound for the coverability problem in acyclic pushdown VAS work with Matthias Englert, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, and Juliusz Straszynski
2022
- Solvability of orbit-finite systems of linear equations. work with Arka Ghosh and Slawomir Lasota.
PHD thesis
- Relating timed and register automata work with Sławomir Lasota and Diego Figueira
2011
- Decidability of branching bisimulation on normed commutative context-free processes work with Sławomir Lasota and Wojciech Czerwiński
2012
- Reachability problems for Multistack Stateless Automata work with Sławomir Lasota and Wojciech Czerwiński
- Approximating Weak Bisimilarity of Basic Parallel Processes work with Patrick Totzke
2013
- Decidability of Weak Simulation on One-counter Nets work with Richard Mayr and Patrick Totzke
- Simulation Over One-counter Nets is PSPACE-Complete work with Sławomir Lasota, Richard Mayr and Patrick Totzke
2014
- Synthesizing transformations from XML schema mappings work with Claire David, Filip Murlak and Michał Pilipczuk
- Infinite-State Energy Games work with Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, K. Narayan Kumar and Patrick Totzke
- Trace Inclusion for One-Counter Nets Revisited work with Patrick Totzke
2015
- Separability by Short Subsequences and Subwords work with Wim Martens
- Active Diagnosis with Observable Quiescence work with Stanislav Böhm, Stefan Haar, Serge Haddad, and Stefan Schwoon
2016
- Tightening the Complexity of Equivalence Problems for Commutative Grammars work with Christoph Haase
- Shortest paths in one-counter systems work with Dmitry Chistikov, Wojciech Czerwinski, Michal Pilipczuk and Michael Wehar
- Coverability Trees for Petri Nets with Unordered Data work with Sławomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, and Patrick Totzke
- Complexity of regular abstractions of one-counter languages work with Mohamed Faouzi Atig, Dmitry Chistikov, K Narayan Kumar, Prakash Saivasan, and Georg Zetzsche
2017
- Linear Combinations of Unordered Data Vectors work with Jérôme Leroux and Patrick Totzke
- Bounding Average-energy Games work with Patricia Bouyer, Nicolas Markey, Mickael Randour, and Martin Zimmermann
- On Büchi One-Counter Automata work with Stanislav Böhm, Stefan Göller, Simon Halfon
2018
- Linear Equations with Ordered Data work with Sławomir Lasota.
- Unboundedness problems for languages of vector addition systems work with Wojciech Czerwiński, Georg Zetzsche
2019
- Shortest paths in one-counter systems work with Dmitry Chistikov, Wojciech Czerwinski, Michal Pilipczuk, and Michael Wehar
- Timed Basic Parallel Processes work with Lorenzo Clemente, and Patrick Totzke (supported by NCN grant UMO-2016/21/D/ST6/01368)
- Continuous Reachability for Unordered Data Petri Nets is in PTime work with Utkarsh Gupta, Preey Shah, and S. Akshay
2020
- Universality Problem for Unambiguous VASS work with Wojciech Czerwinski, and Diego Figueira
- Parametrized Universality Problems for One-Counter Nets work with Shaull Almagor, Udi Boker, and Patrick Totzke
2021
- Linear equations for unordered data vectors work with Jakub Różycki.
- Parikh's theorem for infinite alphabets work with Marta Juzepczuk, Slawomir Lasota, and Mohnish Pattathurajan
- A lower bound for the coverability problem in acyclic pushdown VAS work with Matthias Englert, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, and Juliusz Straszynski
2022
- Solvability of orbit-finite systems of linear equations. work with Arka Ghosh and Slawomir Lasota.
PHD thesis
PHD Thesis in 2014, University of Warsaw
Former Positions
I completed my PhD studies at the University of Warsaw under supervision of dr hab. Sławomir Lasota.
From November 2013 to September 2014 I was a postdoc at University of Bayreuth in the group of Prof. Dr. Wim Martens.
Since October 2014 to September 2016 I was a member of a Dr. Stefan Göller group at LSV de Cachan.
Current topics:
One counter nets, Petri Nets with data, Equations with data, Unambiguous vass.
