Currently I am postdoctoral researcher in the IMDEA software institute in Alessio Mansutti's group. Before this, I was a postdoctoral researcher in LaBRI under Nathanael Fijalkow. I did my PhD in the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw, where I was jointly supervised by Sławek Lasota and Piotrek Hofman.