Papers

L. Clemente,
S. Lasota,
R. Piórkowski

ICALP 2020

Timed games and deterministic separability

W. Czerwiński, S. Lasota,
C. Löding, R. Piórkowski

MFCS 2019

A new pumping method for 2-VASS

FST&TCS 2018

Hilbert method for transducer equivalence

A. Boiret, R. Piórkowski,
J. Schmude

S. Lasota, R. Piórkowski

FoSSaCS 2018

WQO Dichotomy Conjecture for 3-graphs

    Teaching

    2019/20, winter term

    Foundations of mathematics

    2019/20, winter term

    Object-oriented Programming and Design

    2018/19, summer term

    Languages, automata and computations

    2018/19, summer term

    Introduction to Computer Science

    2017/18, summer term

    Languages, automata and computations

    2017/18, summer term

    Introduction to Computer Science

      About

      I am a PhD student at MIM UW under supervision of prof. S. Lasota.

      I am interested in automata theory, especially in VASS and register automata.

      Remove all three digits {2,3,4} from 

      "r2.pio3rkowski@mimuw4.edu.pl"
      to obtain my email address and write to me.