I'm an assistant professor (pol. adiunkt) at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw.
PHD Thesis in 2014, University of Warsaw
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.
One counter nets, weak bisimulation for BPP, separability of regular languages, Petri Nets with data.
Teoria współbieżności (Concurrency) 2019
Faculty of Mathematics, Informatics and Mechanics at the University of Warsaw.
mail: ph209519  at  mimuw.edu.pl
or: piotr.hofman  at  lsv.ens-cachan.fr
Research summer camp of Warsaw automata and logic group.